Timeline
Parents and children of check-in [18b4da567f]
2015-04-03
| ||
17:36 | pngopt/pngadv/pngcrushed logo banner/icon. check-in: de4406f6c3 user: mario tags: trunk | |
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 | |