@Fabian: latest revision of trunk now has a standardized way to add widgets to the sidepane. You can e.g. use "ui.mainwindow.add_tab(title, widget, LEFT_PANE)". When merging from trunk you will need to update to this interface.
@Fabian: latest revision of trunk now has a standardized way to add add_tab( title, widget, LEFT_PANE)". When merging from
widgets to the sidepane. You can e.g. use
"ui.mainwindow.
trunk you will need to update to this interface.