Skip to content

Commit 98d2a63

Browse files
committed
Merge pull request #571 from team294/sources-pref-size
Pipeline: Use preferred size for min and max for sources window.
2 parents 18a7a4a + 2638250 commit 98d2a63

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

ui/src/main/resources/edu/wpi/grip/ui/pipeline/Pipeline.fxml

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,9 @@
1313
<StackPane fx:id="root" maxHeight="Infinity" maxWidth="Infinity" styleClass="pipeline" xmlns="http://javafx.com/javafx/8.0.40" xmlns:fx="http://javafx.com/fxml/1" fx:controller="edu.wpi.grip.ui.pipeline.PipelineController">
1414
<children>
1515
<HBox maxWidth="1.7976931348623157E308">
16-
<VBox fillWidth="true" maxWidth="1.7976931348623157E308">
16+
<VBox>
17+
<minWidth><Control fx:constant="USE_PREF_SIZE" /></minWidth>
18+
<maxWidth><Control fx:constant="USE_PREF_SIZE" /></maxWidth>
1719
<Label maxWidth="Infinity" styleClass="pane-title" text="Sources" />
1820
<Separator orientation="HORIZONTAL" />
1921
<Pane fx:id="addSourcePane" />

0 commit comments

Comments
 (0)