Bug fix: Option to display window ID
authorColin Clark <colin.clark@cclark.uk>
Tue, 3 Apr 2018 12:08:34 +0000 (13:08 +0100)
committerColin Clark <colin.clark@cclark.uk>
Tue, 3 Apr 2018 12:08:34 +0000 (13:08 +0100)
commit379823d7b9be9a307f7574f8aa7e79aa030399a1
tree713d633bf77c8a61338edfd83ba7c71c83111ffd
parentfcf4c37619311c197088f9a113e1a0321e3dfb15
Bug fix: Option to display window ID

Reinstate line deleted in error.
src/options.c