Option to display window ID
authorColin Clark <colin.clark@cclark.uk>
Tue, 3 Apr 2018 11:41:35 +0000 (12:41 +0100)
committerColin Clark <colin.clark@cclark.uk>
Tue, 3 Apr 2018 11:41:35 +0000 (12:41 +0100)
commitfcf4c37619311c197088f9a113e1a0321e3dfb15
tree559cca9db06a77211fb2b2c54cfdfd864ff0b55e
parent01fd562adaacb04e680a655ada55ba983388eece
Option to display window ID

Additional Preferences/Windows option to show the window ID in the
titlebar. Off by default.
doc/docbook/GuideOptionsWindow.xml
src/image.c
src/options.c
src/options.h
src/preferences.c
src/rcfile.c
web/help/GuideOptionsWindow.html