diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2017-05-25 21:09:12 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2017-05-25 21:09:12 +0200 |
| commit | 570065458c6dac9e64493ca3f8453817bb7c3165 (patch) | |
| tree | 0acedac9a6dbe86ba71a662fb3ec60d9ba47a2f3 /plugingui/tabwidget.cc | |
| parent | 19af1522d529293a068453bd5ce9f0d249056c3d (diff) | |
Read/Write master_bleed value from/to plugin state.
Diffstat (limited to 'plugingui/tabwidget.cc')
0 files changed, 0 insertions, 0 deletions