The plugin browser allows to browse and filter available Plugin's on the system.
- GtkStackSwitcher* stack_switcher
- The stack switcher.
- GtkStack* stack
- The stack containing collection/category/ protocol.
- GtkBox* browser_bot
- Browser bot.
- GtkLabel* plugin_info
- A label to show info about the currently selected Plugin.
- PluginCategory selected_categories
- The selected categories.
- int start_saving_pos
- A little hack to get the paned position to get set from the gsettings when first created.
A little hack to get the paned position to get set from the gsettings when first created.
Had problems where the position was quickly overwritten by something random within 300 ms of widget creation.