Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.python > #103405
| From | Random832 <random832@fastmail.com> |
|---|---|
| Newsgroups | comp.lang.python |
| Subject | Re: setting the font of the root title |
| Date | 2016-02-23 11:45 -0500 |
| Message-ID | <mailman.70.1456245959.20994.python-list@python.org> (permalink) |
| References | <fb4cd61f-8267-4f13-9823-16a6d494c663@googlegroups.com> |
On Tue, Feb 23, 2016, at 11:30, kevind0718@gmail.com wrote: > Hello: > > Newbee here. > > I need to change the font of the title of the root. > Actually I just need it to be larger, which means I may need the > top boarder to be larger. > > I wrote the bit of code below, hoping for the desired effect. > Also googled around regarding the toplevel widget > No luck. Generally the title bar and window border is provided by the window manager or operating system and therefore its appearance is not under the control of your program.
Back to comp.lang.python | Previous | Next — Previous in thread | Find similar | Unroll thread
setting the font of the root title kevind0718@gmail.com - 2016-02-23 08:30 -0800 Re: setting the font of the root title Random832 <random832@fastmail.com> - 2016-02-23 11:45 -0500
csiph-web