@@ -178,20 +178,21 @@ public final class SettingsPage extends ScrollPane {
|
|||||||
}
|
}
|
||||||
|
|
||||||
{
|
{
|
||||||
VBox content = new VBox();
|
VBox content = new VBox(12);
|
||||||
content.setSpacing(8);
|
content.setPadding(new Insets(8, 0, 0, 0));
|
||||||
|
|
||||||
JFXRadioButton chkUpdateStable = new JFXRadioButton(i18n("update.channel.stable"));
|
|
||||||
JFXRadioButton chkUpdateDev = new JFXRadioButton(i18n("update.channel.dev"));
|
|
||||||
|
|
||||||
updateChannelGroup = new ToggleGroup();
|
updateChannelGroup = new ToggleGroup();
|
||||||
chkUpdateDev.setToggleGroup(updateChannelGroup);
|
|
||||||
chkUpdateDev.setUserData(UpdateChannel.DEVELOPMENT);
|
JFXRadioButton chkUpdateStable = new JFXRadioButton(i18n("update.channel.stable"));
|
||||||
chkUpdateStable.setToggleGroup(updateChannelGroup);
|
|
||||||
chkUpdateStable.setUserData(UpdateChannel.STABLE);
|
chkUpdateStable.setUserData(UpdateChannel.STABLE);
|
||||||
|
chkUpdateStable.setToggleGroup(updateChannelGroup);
|
||||||
|
|
||||||
|
JFXRadioButton chkUpdateDev = new JFXRadioButton(i18n("update.channel.dev"));
|
||||||
|
chkUpdateDev.setUserData(UpdateChannel.DEVELOPMENT);
|
||||||
|
chkUpdateDev.setToggleGroup(updateChannelGroup);
|
||||||
|
|
||||||
Label noteWrapper = new Label(i18n("update.note"));
|
Label noteWrapper = new Label(i18n("update.note"));
|
||||||
VBox.setMargin(noteWrapper, new Insets(10, 0, 0, 0));
|
VBox.setMargin(noteWrapper, new Insets(8, 0, 0, 0));
|
||||||
|
|
||||||
content.getChildren().setAll(chkUpdateStable, chkUpdateDev, noteWrapper);
|
content.getChildren().setAll(chkUpdateStable, chkUpdateDev, noteWrapper);
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user