diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-09-13 09:46:17 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2016-09-13 09:48:12 -0300 |
| commit | f10d2bd3944f3a520cf9f131b801f403c834ea6e (patch) | |
| tree | a3440708fb784601fccf224b3a9ac46ed6bf42c5 /core/make_binders.py | |
| parent | 527ae80dffb6e0f4398310d25ceed951fe848871 (diff) | |
-Add a distraction free mode button (so users know it's there)
-Made distaction free not hide the top bar, it's more loss than gain to hide it
-Fix fullscreen toggling and added a menu option for it so it's also visible in settings.
Diffstat (limited to 'core/make_binders.py')
0 files changed, 0 insertions, 0 deletions