Skip to content

Mode the Displaysettings config in the Preferences dialog and clean duplicate code - #359

Merged
tinevez merged 11 commits into
configurable-keysfrom
displaysettings-in-settings-page
Aug 8, 2026
Merged

Mode the Displaysettings config in the Preferences dialog and clean duplicate code #359
tinevez merged 11 commits into
configurable-keysfrom
displaysettings-in-settings-page

Conversation

@tinevez

@tinevez tinevez commented Aug 7, 2026

Copy link
Copy Markdown
Member

Summary

This PR moves the DisplaySettings configuration into the Preferences dialog and cleans up duplicate code by migrating to the config-ui artifact.

Screenshot 2026-08-07 at 17 06 15

Changes

  • DisplaySettings refactoring: Made DisplaySettings implement Style<DisplaySettings> and refactored DisplaySettingsPanel
  • New config page: Implemented ProfileEditPanel for use in the preferences dialog
  • DisplaySettingsIO: Added methods to write/read specified files
  • DisplaySettingsManager: Created manager class to handle collections of settings and edit specific instances
  • GuiModel integration: Added DisplaySettingsManager to GuiModel for user configuration
  • Preferences dialog: Added display settings config page; removed old standalone tool
  • User defaults: Updated readUserDefault() to return last user-configured settings from dialog
  • Wizard fix: Made spots visible when filtering if they were invisible
  • Cleanup: Removed TrackMate style element classes and resources (moved to config-ui artifact)
  • Dependency: Added dependency on config-ui 0.0.1

Stats

  • 708 additions
  • 7,527 deletions

tinevez added 11 commits August 5, 2026 15:38
Make it implements ProfileEditPanel, so that we can later use it
in a config page. Move the visitor to its own class, and wrap the
panel itself in a scrollpane.
With a manager that can deal with a collection of settings.
This is important, as we will load a DisplaySettings from a TrackMate
file and want to use this instance. We also want it to appear in the
config page and the modifications to be done on this one.
which is set to edit the DisplaySettings instance it was created
with.
Now everything is done in the Preferences dialog.
The readUserDefault() method now returns the last settings used and
configured by the user in the dialog.
We moved everything to the config-ui artifact.
@tinevez
tinevez marked this pull request as ready for review August 7, 2026 15:06
@tinevez tinevez self-assigned this Aug 7, 2026
@tinevez
tinevez merged commit e286f8e into configurable-keys Aug 8, 2026
1 check failed
@tinevez
tinevez deleted the displaysettings-in-settings-page branch August 8, 2026 05:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant