 |
Gridarta Editor
|
Go to the documentation of this file.
20 package net.sf.gridarta.model.settings;
22 import java.util.Collection;
23 import java.util.concurrent.CopyOnWriteArrayList;
24 import org.jetbrains.annotations.NotNull;
37 private final Collection<EditorSettingsListener>
listenerList =
new CopyOnWriteArrayList<>();
55 listener.showMainToolbarChanged(visible);
final Collection< EditorSettingsListener > listenerList
The EditorSettingsListeners to inform of changes.
Interface for listeners interested in EditorSettings events.
boolean isShowMainToolbar()
Returns whether the main toolbar should be shown.
void removeEditorSettingsListener(@NotNull final EditorSettingsListener listener)
Removes a EditorSettingsListener to be notified of changes.
Settings that apply to the editor.
Abstract base class for EditorSettings implementations.
void fireShowMainToolbarChanged()
Notifies all listeners about a changed visibility of the main toolbar.
void addEditorSettingsListener(@NotNull final EditorSettingsListener listener)
Adds a EditorSettingsListener to be notified of changes.