Timeline
Parents and children of check-in [97fd6a532a]
|
2015-04-03
| ||
| 17:35 | Got rid of static main.channel_names[] list. Instead now querying Gtk notebook_channels widget for current page name ordering. More plugin defaults added to ConfigDict.defaults(), as workaround for not preparsing inactive plugins on startup. check-in: 18b4da567f user: mario tags: trunk | |
| 17:33 | Split out pack: specifier into `bin` and separately for help/ pages. check-in: 97fd6a532a user: mario tags: trunk | |
| 17:32 | Compacter banner/logo base64, removed SVG variant. check-in: 1ed7d9a52b user: mario tags: trunk | |