This plugin defines the GUI for managing local plugins, a.k.a., “operations”.
Plugin Type: Global
Operations is a global plugin. Only one instance can be opened.
Operations plugin acts as a visual interface to the reference viewer
plugin manager. With this plugin, you can change the active channel,
start, stop, or unfocus a local plugin on a channel, and see which local
plugins are running.
By replacing or subclassing this plugin, you can customize the way the reference viewer starts and manages operations.
It is customizable using
is your HOME directory:
# # Operations plugin preferences file # # Place this in file under ~/.ginga with the name "plugin_Operations.cfg" # Show the change channel drop-down control show_channel_control = True # Color to highlight focused plugins in the operations control tray focuscolor = "lightgreen" # Change to False to use combobox+button launch approach use_popup_menu = True