| 
									
										
										
										
											2005-11-12 15:28:52 +00:00
										 |  |  | # Tkinter font wrapper | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | # | 
					
						
							| 
									
										
										
										
											2005-11-12 15:28:52 +00:00
										 |  |  | # written by Fredrik Lundh, February 1998 | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | # | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-04-03 09:48:07 +03:00
										 |  |  | import itertools | 
					
						
							| 
									
										
										
										
											2008-05-17 18:39:55 +00:00
										 |  |  | import tkinter | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-07-26 03:30:33 +02:00
										 |  |  | __version__ = "0.9" | 
					
						
							|  |  |  | __all__ = ["NORMAL", "ROMAN", "BOLD", "ITALIC", | 
					
						
							|  |  |  |            "nametofont", "Font", "families", "names"] | 
					
						
							| 
									
										
										
										
											2012-04-03 09:39:47 +03:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | # weight/slant | 
					
						
							|  |  |  | NORMAL = "normal" | 
					
						
							| 
									
										
										
										
											2003-06-14 21:40:04 +00:00
										 |  |  | ROMAN = "roman" | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | BOLD   = "bold" | 
					
						
							|  |  |  | ITALIC = "italic" | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-04-03 09:39:47 +03:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2004-08-18 11:06:45 +00:00
										 |  |  | def nametofont(name): | 
					
						
							|  |  |  |     """Given the name of a tk named font, returns a Font representation.
 | 
					
						
							|  |  |  |     """
 | 
					
						
							|  |  |  |     return Font(name=name, exists=True) | 
					
						
							| 
									
										
										
										
											2004-08-20 03:47:14 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-04-03 09:39:47 +03:00
										 |  |  | class Font: | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |     """Represents a named font.
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     Constructor options are: | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     font -- font specifier (name, system font, or (family, size, style)-tuple) | 
					
						
							| 
									
										
										
										
											2004-08-18 11:06:45 +00:00
										 |  |  |     name -- name to use for this font configuration (defaults to a unique name) | 
					
						
							|  |  |  |     exists -- does a named font by this name already exist? | 
					
						
							|  |  |  |        Creates a new named font if False, points to the existing font if True. | 
					
						
							|  |  |  |        Raises _tkinter.TclError if the assertion is false. | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2004-08-18 11:06:45 +00:00
										 |  |  |        the following are ignored if font is specified: | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |     family -- font 'family', e.g. Courier, Times, Helvetica | 
					
						
							|  |  |  |     size -- font size in points | 
					
						
							|  |  |  |     weight -- font thickness: NORMAL, BOLD | 
					
						
							| 
									
										
										
										
											2003-06-14 21:40:04 +00:00
										 |  |  |     slant -- font slant: ROMAN, ITALIC | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |     underline -- font underlining: false (0), true (1) | 
					
						
							|  |  |  |     overstrike -- font strikeout: false (0), true (1) | 
					
						
							| 
									
										
										
										
											2004-08-20 03:47:14 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |     """
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-04-03 09:48:07 +03:00
										 |  |  |     counter = itertools.count(1) | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |     def _set(self, kw): | 
					
						
							|  |  |  |         options = [] | 
					
						
							|  |  |  |         for k, v in kw.items(): | 
					
						
							|  |  |  |             options.append("-"+k) | 
					
						
							|  |  |  |             options.append(str(v)) | 
					
						
							|  |  |  |         return tuple(options) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def _get(self, args): | 
					
						
							| 
									
										
										
										
											2000-10-23 18:31:14 +00:00
										 |  |  |         options = [] | 
					
						
							|  |  |  |         for k in args: | 
					
						
							|  |  |  |             options.append("-"+k) | 
					
						
							|  |  |  |         return tuple(options) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def _mkdict(self, args): | 
					
						
							|  |  |  |         options = {} | 
					
						
							|  |  |  |         for i in range(0, len(args), 2): | 
					
						
							|  |  |  |             options[args[i][1:]] = args[i+1] | 
					
						
							|  |  |  |         return options | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-04-03 09:39:47 +03:00
										 |  |  |     def __init__(self, root=None, font=None, name=None, exists=False, | 
					
						
							|  |  |  |                  **options): | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |         if not root: | 
					
						
							| 
									
										
										
										
											2020-12-19 13:08:07 +02:00
										 |  |  |             root = tkinter._get_default_root('use font') | 
					
						
							| 
									
										
										
										
											2014-08-17 15:31:59 +03:00
										 |  |  |         tk = getattr(root, 'tk', root) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |         if font: | 
					
						
							|  |  |  |             # get actual settings corresponding to the given font | 
					
						
							| 
									
										
										
										
											2014-08-17 15:31:59 +03:00
										 |  |  |             font = tk.splitlist(tk.call("font", "actual", font)) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |         else: | 
					
						
							|  |  |  |             font = self._set(options) | 
					
						
							|  |  |  |         if not name: | 
					
						
							| 
									
										
										
										
											2012-04-03 09:48:07 +03:00
										 |  |  |             name = "font" + str(next(self.counter)) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |         self.name = name | 
					
						
							| 
									
										
										
										
											2004-08-18 11:06:45 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |         if exists: | 
					
						
							|  |  |  |             self.delete_font = False | 
					
						
							|  |  |  |             # confirm font exists | 
					
						
							| 
									
										
										
										
											2014-08-17 15:31:59 +03:00
										 |  |  |             if self.name not in tk.splitlist(tk.call("font", "names")): | 
					
						
							| 
									
										
										
										
											2008-05-17 18:39:55 +00:00
										 |  |  |                 raise tkinter._tkinter.TclError( | 
					
						
							|  |  |  |                     "named font %s does not already exist" % (self.name,)) | 
					
						
							| 
									
										
										
										
											2004-08-18 11:06:45 +00:00
										 |  |  |             # if font config info supplied, apply it | 
					
						
							|  |  |  |             if font: | 
					
						
							| 
									
										
										
										
											2014-08-17 15:31:59 +03:00
										 |  |  |                 tk.call("font", "configure", self.name, *font) | 
					
						
							| 
									
										
										
										
											2004-08-18 11:06:45 +00:00
										 |  |  |         else: | 
					
						
							|  |  |  |             # create new font (raises TclError if the font exists) | 
					
						
							| 
									
										
										
										
											2014-08-17 15:31:59 +03:00
										 |  |  |             tk.call("font", "create", self.name, *font) | 
					
						
							| 
									
										
										
										
											2004-08-18 11:06:45 +00:00
										 |  |  |             self.delete_font = True | 
					
						
							| 
									
										
										
										
											2014-08-17 15:31:59 +03:00
										 |  |  |         self._tk = tk | 
					
						
							|  |  |  |         self._split = tk.splitlist | 
					
						
							|  |  |  |         self._call  = tk.call | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def __str__(self): | 
					
						
							|  |  |  |         return self.name | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2004-08-18 11:06:45 +00:00
										 |  |  |     def __eq__(self, other): | 
					
						
							| 
									
										
										
										
											2019-08-08 08:42:54 +03:00
										 |  |  |         if not isinstance(other, Font): | 
					
						
							|  |  |  |             return NotImplemented | 
					
						
							|  |  |  |         return self.name == other.name | 
					
						
							| 
									
										
										
										
											2004-08-18 11:06:45 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def __getitem__(self, key): | 
					
						
							|  |  |  |         return self.cget(key) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def __setitem__(self, key, value): | 
					
						
							|  |  |  |         self.configure(**{key: value}) | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |     def __del__(self): | 
					
						
							|  |  |  |         try: | 
					
						
							| 
									
										
										
										
											2004-08-18 11:06:45 +00:00
										 |  |  |             if self.delete_font: | 
					
						
							|  |  |  |                 self._call("font", "delete", self.name) | 
					
						
							| 
									
										
										
										
											2006-04-21 10:40:58 +00:00
										 |  |  |         except Exception: | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |             pass | 
					
						
							| 
									
										
										
										
											2004-08-20 03:47:14 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |     def copy(self): | 
					
						
							|  |  |  |         "Return a distinct copy of the current font" | 
					
						
							| 
									
										
										
										
											2014-08-17 15:31:59 +03:00
										 |  |  |         return Font(self._tk, **self.actual()) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-04-05 12:41:20 +03:00
										 |  |  |     def actual(self, option=None, displayof=None): | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |         "Return actual font attributes" | 
					
						
							| 
									
										
										
										
											2012-04-05 12:41:20 +03:00
										 |  |  |         args = () | 
					
						
							|  |  |  |         if displayof: | 
					
						
							|  |  |  |             args = ('-displayof', displayof) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |         if option: | 
					
						
							| 
									
										
										
										
											2012-04-05 12:41:20 +03:00
										 |  |  |             args = args + ('-' + option, ) | 
					
						
							|  |  |  |             return self._call("font", "actual", self.name, *args) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |         else: | 
					
						
							|  |  |  |             return self._mkdict( | 
					
						
							| 
									
										
										
										
											2012-04-05 12:41:20 +03:00
										 |  |  |                 self._split(self._call("font", "actual", self.name, *args))) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |     def cget(self, option): | 
					
						
							|  |  |  |         "Get font attribute" | 
					
						
							|  |  |  |         return self._call("font", "config", self.name, "-"+option) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     def config(self, **options): | 
					
						
							|  |  |  |         "Modify font attributes" | 
					
						
							|  |  |  |         if options: | 
					
						
							| 
									
										
										
										
											2003-04-06 09:01:11 +00:00
										 |  |  |             self._call("font", "config", self.name, | 
					
						
							|  |  |  |                   *self._set(options)) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |         else: | 
					
						
							|  |  |  |             return self._mkdict( | 
					
						
							| 
									
										
										
										
											2012-04-03 09:39:47 +03:00
										 |  |  |                 self._split(self._call("font", "config", self.name))) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |     configure = config | 
					
						
							| 
									
										
										
										
											2000-10-23 18:31:14 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-04-05 12:41:20 +03:00
										 |  |  |     def measure(self, text, displayof=None): | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |         "Return text width" | 
					
						
							| 
									
										
										
										
											2012-04-05 12:41:20 +03:00
										 |  |  |         args = (text,) | 
					
						
							|  |  |  |         if displayof: | 
					
						
							|  |  |  |             args = ('-displayof', displayof, text) | 
					
						
							| 
									
										
										
										
											2015-06-08 18:43:55 +03:00
										 |  |  |         return self._tk.getint(self._call("font", "measure", self.name, *args)) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-04-05 12:41:20 +03:00
										 |  |  |     def metrics(self, *options, **kw): | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |         """Return font metrics.
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         For best performance, create a dummy widget | 
					
						
							|  |  |  |         using this font before calling this method."""
 | 
					
						
							| 
									
										
										
										
											2012-04-05 12:41:20 +03:00
										 |  |  |         args = () | 
					
						
							|  |  |  |         displayof = kw.pop('displayof', None) | 
					
						
							|  |  |  |         if displayof: | 
					
						
							|  |  |  |             args = ('-displayof', displayof) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |         if options: | 
					
						
							| 
									
										
										
										
											2012-04-05 12:41:20 +03:00
										 |  |  |             args = args + self._get(options) | 
					
						
							| 
									
										
										
										
											2015-06-08 18:43:55 +03:00
										 |  |  |             return self._tk.getint( | 
					
						
							| 
									
										
										
										
											2012-04-05 12:41:20 +03:00
										 |  |  |                 self._call("font", "metrics", self.name, *args)) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |         else: | 
					
						
							| 
									
										
										
										
											2012-04-05 12:41:20 +03:00
										 |  |  |             res = self._split(self._call("font", "metrics", self.name, *args)) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |             options = {} | 
					
						
							|  |  |  |             for i in range(0, len(res), 2): | 
					
						
							| 
									
										
										
										
											2015-06-08 18:43:55 +03:00
										 |  |  |                 options[res[i][1:]] = self._tk.getint(res[i+1]) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |             return options | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-04-03 09:39:47 +03:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-04-05 12:41:20 +03:00
										 |  |  | def families(root=None, displayof=None): | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |     "Get font families (as a tuple)" | 
					
						
							|  |  |  |     if not root: | 
					
						
							| 
									
										
										
										
											2020-12-19 13:08:07 +02:00
										 |  |  |         root = tkinter._get_default_root('use font.families()') | 
					
						
							| 
									
										
										
										
											2012-04-05 12:41:20 +03:00
										 |  |  |     args = () | 
					
						
							|  |  |  |     if displayof: | 
					
						
							|  |  |  |         args = ('-displayof', displayof) | 
					
						
							|  |  |  |     return root.tk.splitlist(root.tk.call("font", "families", *args)) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-04-03 09:39:47 +03:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | def names(root=None): | 
					
						
							|  |  |  |     "Get names of defined fonts (as a tuple)" | 
					
						
							|  |  |  |     if not root: | 
					
						
							| 
									
										
										
										
											2020-12-19 13:08:07 +02:00
										 |  |  |         root = tkinter._get_default_root('use font.names()') | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |     return root.tk.splitlist(root.tk.call("font", "names")) | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-04-03 09:39:47 +03:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | # -------------------------------------------------------------------- | 
					
						
							|  |  |  | # test stuff | 
					
						
							| 
									
										
										
										
											2000-10-23 18:31:14 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | if __name__ == "__main__": | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-05-17 18:39:55 +00:00
										 |  |  |     root = tkinter.Tk() | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |     # create a font | 
					
						
							|  |  |  |     f = Font(family="times", size=30, weight=NORMAL) | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-02-09 05:37:30 +00:00
										 |  |  |     print(f.actual()) | 
					
						
							|  |  |  |     print(f.actual("family")) | 
					
						
							|  |  |  |     print(f.actual("weight")) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-02-09 05:37:30 +00:00
										 |  |  |     print(f.config()) | 
					
						
							|  |  |  |     print(f.cget("family")) | 
					
						
							|  |  |  |     print(f.cget("weight")) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-02-09 05:37:30 +00:00
										 |  |  |     print(names()) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2007-02-09 05:37:30 +00:00
										 |  |  |     print(f.measure("hello"), f.metrics("linespace")) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2012-04-05 12:41:20 +03:00
										 |  |  |     print(f.metrics(displayof=root)) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |     f = Font(font=("Courier", 20, "bold")) | 
					
						
							| 
									
										
										
										
											2012-04-05 12:41:20 +03:00
										 |  |  |     print(f.measure("hello"), f.metrics("linespace", displayof=root)) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-05-17 18:39:55 +00:00
										 |  |  |     w = tkinter.Label(root, text="Hello, world", font=f) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |     w.pack() | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-05-17 18:39:55 +00:00
										 |  |  |     w = tkinter.Button(root, text="Quit!", command=root.destroy) | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |     w.pack() | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     fb = Font(font=w["font"]).copy() | 
					
						
							|  |  |  |     fb.config(weight=BOLD) | 
					
						
							| 
									
										
										
										
											2000-10-23 18:31:14 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											1998-08-11 19:07:58 +00:00
										 |  |  |     w.config(font=fb) | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-05-17 18:39:55 +00:00
										 |  |  |     tkinter.mainloop() |