Jonathan Harris 3ad8322e70 Plugin enhancements ...

- New callback notify_prefs_changed
- Plugin can set settings tab name
- Plugin can return a pair of widgets for display in main window - typically (label, status)

2016-11-14 02:07:18 +00:00

..

About

Plugin enhancements

2016-11-14 02:07:18 +00:00