Class ThemePreference

All Implemented Interfaces:
Preference<String>

public class ThemePreference extends DefaultPreference<String>
A preference allowing the user to select one DockTheme. This preference uses a ThemeMap to read and store its content.
Author:
Benjamin Sigg
  • Constructor Details

    • ThemePreference

      public ThemePreference(DockProperties properties, ThemeMap themes)
      Creates a new preference.
      Parameters:
      properties - the default settings
      themes - a list of themes to show
  • Method Details

    • read

      public void read()
    • write

      public void write()