wp/xed
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

text zoom: Put a limit on the min and max zoom (#137)

Browse Source 
Text zoom: Put a limit on the min and max zoom
This commit is contained in:
JosephMcc
2017-08-30 03:14:43 -07:00
committed by Clement Lefebvre
parent 87eb14e9dc
commit 9376dc72da
1 changed files with 13 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
plugins/textsize/textsize/documenthelper.py
View File

@@ -24,6 +24,9 @@
from .signals import Signals
from gi.repository import Gtk, Gdk, Pango
MAX_FONT_SIZE = 30
MIN_FONT_SIZE = 5
class DocumentHelper(Signals):
def __init__(self, view):
Signals.__init__(self)
@@ -94,6 +97,11 @@ class DocumentHelper(Signals):
size = description.get_size() / Pango.SCALE
if not bounds:
if size >= MAX_FONT_SIZE and amount == 1:
return;
if size <= MIN_FONT_SIZE and amount == -1:
return;
description.set_size(max(1, (size + amount)) * Pango.SCALE)
self._view.override_font(description)
@@ -117,6 +125,11 @@ class DocumentHelper(Signals):
newsize = round(newsize / len(tags))
if newsize >= MAX_FONT_SIZE and amount == 1:
return;
if newsize <= MIN_FONT_SIZE and amount == -1:
return;
newsize = int(max(1, newsize))
if not newsize in self._font_tags: