diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2016-02-04 16:26:05 +0100 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2016-02-05 09:41:41 +0100 |
| commit | 3745fa37053590282be6896a164cf4c126c4b6d7 (patch) | |
| tree | 4d6b2d0ef3573500079b39cc76715f2d3f156fbc /grc/gui/Preferences.py | |
| parent | e7d695d727d19104d2668be75cc5d59bdb182b63 (diff) | |
grc: user-selectable transparent bg screen shots
Diffstat (limited to 'grc/gui/Preferences.py')
| -rw-r--r-- | grc/gui/Preferences.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/grc/gui/Preferences.py b/grc/gui/Preferences.py index 3ebee2434..ad2206ca2 100644 --- a/grc/gui/Preferences.py +++ b/grc/gui/Preferences.py @@ -150,3 +150,7 @@ def blocks_window_position(pos=None): def xterm_missing(cmd=None): return entry('xterm_missing', cmd, default='INVALID_XTERM_SETTING') + + +def screen_shot_background_transparent(transparent=None): + return entry('screen_shot_background_transparent', transparent, default=False) |