diff options
author | Matthias Andree <matthias.andree@gmx.de> | 2020-01-24 23:40:42 +0000 |
---|---|---|
committer | Matthias Andree <matthias.andree@gmx.de> | 2020-01-24 23:40:42 +0000 |
commit | 186d4c1115434be1277119998a0d3a506a47f9f5 (patch) | |
tree | 812b60c466c261e27a81249bb0226e0b80169023 | |
parent | 37197fbecca4bd08bf251e2a5add4be019cc6db7 (diff) | |
download | fetchmail-186d4c1115434be1277119998a0d3a506a47f9f5.tar.gz fetchmail-186d4c1115434be1277119998a0d3a506a47f9f5.tar.bz2 fetchmail-186d4c1115434be1277119998a0d3a506a47f9f5.zip |
fetchmailconf: Set window icon for window manager.
-rwxr-xr-x | fetchmailconf.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/fetchmailconf.py b/fetchmailconf.py index 2d7ef19d..eebe4a82 100755 --- a/fetchmailconf.py +++ b/fetchmailconf.py @@ -2248,7 +2248,13 @@ COPYING in the source or documentation directory for details.""") rcfile = os.environ["HOME"] + "/.fetchmailrc" # OK, now run the configuration edit - root = MainWindow(rcfile) + r = Tk() + + # set default icon for window manager, + # need to keep a reference so it doesn't get garbage collected: + fetchmail_icon_PI = PhotoImage(data=fetchmail_icon) + r.call('wm', 'iconphoto', r._w, '-default', fetchmail_icon_PI) + root = MainWindow(rcfile, r) root.mainloop() # The following sets edit modes for GNU EMACS |