This branch replaces the painfully long code that generates the menu, saves references to some widgets, and creates and registers new stock, with code that uses pygtk.UIManager so that menu items can be used in the menu as well as other places such as the toolbar. This also adds a toolbar with some actions on it for convenience.
This branch replaces the painfully long code that generates the menu, saves references to some widgets, and creates and registers new stock, with code that uses pygtk.UIManager so that menu items can be used in the menu as well as other places such as the toolbar. This also adds a toolbar with some actions on it for convenience.