/usr/share/pyshared/pyface/wx/font.py is in python-pyface 4.0.0-1build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 | #------------------------------------------------------------------------------
# Copyright (c) 2005, Enthought, Inc.
# All rights reserved.
#
# This software is provided without warranty under the terms of the BSD
# license included in enthought/LICENSE.txt and may be redistributed only
# under the conditions described in the aforementioned license. The license
# is also available online at http://www.enthought.com/licenses/BSD.txt
# Thanks for using Enthought open source!
#
# Author: Enthought, Inc.
# Description: <Enthought util package component>
#------------------------------------------------------------------------------
""" Font utilities. """
# Major package imports.
import wx
def clone_font(font):
""" Clones the specified font. """
point_size = font.GetPointSize()
family = font.GetFamily()
style = font.GetStyle()
weight = font.GetWeight()
underline = font.GetUnderlined()
face_name = font.GetFaceName()
clone = wx.Font(
point_size, family, style, weight, underline, face_name,
)
return clone
def set_font_size(window, size):
""" Recursively sets the font size starting from 'window'. """
font = window.GetFont()
clone = clone_font(font)
clone.SetPointSize(size)
window.SetFont(clone)
sizer = window.GetSizer()
if sizer is not None:
sizer.Layout()
window.Refresh()
for child in window.GetChildren():
set_font_size(child, size)
return
def increase_font_size(window, delta=2):
""" Recursively increases the font size starting from 'window'. """
font = window.GetFont()
clone = clone_font(font)
clone.SetPointSize(font.GetPointSize() + delta)
window.SetFont(clone)
sizer = window.GetSizer()
if sizer is not None:
sizer.Layout()
window.Refresh()
for child in window.GetChildren():
increase_font_size(child, delta)
return
def decrease_font_size(window, delta=2):
""" Recursively decreases the font size starting from 'window'. """
increase_font_size(window, delta=-2)
return
def set_bold_font(window):
""" Set 'window's font to be bold. """
font = window.GetFont()
font.SetWeight(wx.BOLD)
window.SetFont(font)
return
#### EOF ######################################################################
|