diff options
| author | Drew DeVault <sir@cmpwn.com> | 2016-07-18 07:38:35 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-18 07:38:35 -0400 |
| commit | 435509c87155e6c76acbbc5e689f7e1d97e8482f (patch) | |
| tree | b577af599b0dd14594d516ce427f5f5b055a3102 /include/workspace.h | |
| parent | 31a7119c3db722b2cea41bafa9e7b9cc37c9ba5e (diff) | |
| parent | 5d250f3da61833d08b44464c29df41e3d4234f66 (diff) | |
Merge pull request #767 from thejan2009/correct-container-titles
Construct titles of nested tabbed/stacked containers from app_id inst…
Diffstat (limited to 'include/workspace.h')
0 files changed, 0 insertions, 0 deletions