diff options
| author | Severin <eiseljulian@gmail.com> | 2018-06-28 22:07:30 +0300 |
|---|---|---|
| committer | Severin <eiseljulian@gmail.com> | 2018-06-28 22:07:30 +0300 |
| commit | 4d1c5f1ec51e7978c76271730d479e0aef15c63a (patch) | |
| tree | 5aec39486b982f54d0d049da0666f12bbd008ccd /release/scripts/startup/bl_ui/space_topbar.py | |
| parent | c7954df96c7ebfdb6db5048ed8e1b855bc924006 (diff) | |
Change earlier fix to work with hiDPI
Referring to ca8f787349dcdf5. Thought in this case the simple `+ 1` would be
correct, but we need to make the same pixel adjustment as we do in other places.
Diffstat (limited to 'release/scripts/startup/bl_ui/space_topbar.py')
0 files changed, 0 insertions, 0 deletions