Don't show models that have already been added; Changed some defaults;

This commit is contained in:
extio-de
2024-10-27 10:04:42 +01:00
parent d2d6b8c1b6
commit 7a9d330c72
5 changed files with 10 additions and 3 deletions

View File

@@ -302,7 +302,7 @@ public class LaunchFrame extends JFrame {
this.slider_context.setMaximum(model.maxContextSize());
this.slider_context.setMajorTickSpacing(model.maxContextSize() / 4);
this.slider_context.setMinorTickSpacing(model.maxContextSize() / 8);
this.slider_context.setMinorTickSpacing(model.maxContextSize() / 16);
this.slider_context.setValue(model.contextSize());
this.slider_context.setLabelTable(this.slider_context.createStandardLabels(model.maxContextSize() / 4));
this.slider_context.setSnapToTicks(true);