Randomness/com.fwdekker.randomness.ui/setFixedHeight

setFixedHeight

fun JComponent.setFixedHeight(height: Int)(source)

Forces this JComponent to be height pixels high.