summaryrefslogtreecommitdiff
path: root/plugingui/tabwidget.cc
diff options
context:
space:
mode:
authorAndré Nusser <andre.nusser@googlemail.com>2017-05-25 21:09:12 +0200
committerAndré Nusser <andre.nusser@googlemail.com>2017-05-25 21:09:12 +0200
commit570065458c6dac9e64493ca3f8453817bb7c3165 (patch)
tree0acedac9a6dbe86ba71a662fb3ec60d9ba47a2f3 /plugingui/tabwidget.cc
parent19af1522d529293a068453bd5ce9f0d249056c3d (diff)
Read/Write master_bleed value from/to plugin state.
Diffstat (limited to 'plugingui/tabwidget.cc')
0 files changed, 0 insertions, 0 deletions