Timeline
Parents and children of check-in [417fcfdbd5]
2017-02-21
| ||
23:22 | Add notebook tabs for recordflags plugin. Instead of filtering them, distribute options into notebook tabs "_cfg", "_extra", or "_verbose". check-in: cbec1b81a6 user: mario tags: trunk | |
23:21 | Rename `_add` to `_pack`. Support opt= parameter to allow said `pack_*` function to operate on option flags (e.g. `category:` to target widget). check-in: 417fcfdbd5 user: mario tags: trunk | |
22:06 | Fix verbose/extra merging, `-d` option for directory. check-in: f5b2e2a1e9 user: mario tags: trunk | |