Author terry.reedy
Recipients terry.reedy, wohlganger
Date 2017-06-30.01:51:40
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1498787501.44.0.725002274529.issue30809@psf.upfronthosting.co.za>
In-reply-to
Content
I am not willing to add a new theme element to the 13 that already exist, let alone define it in config-extensions.def rather than in config-hightlight.def.  It is too much additional complication for too little impact.  Also, any theme specified in config-extensions would likely not work if the user switches between dark and light text.  Theme sets work together.

I will consider letting users select which of the existing 13 to use.  This requires that users be able to know what the 13 choices are.  Hence  the dependence on #22705.

I might also look at the visual effect of underlining.
History
Date User Action Args
2017-06-30 01:51:41terry.reedysetrecipients: + terry.reedy, wohlganger
2017-06-30 01:51:41terry.reedysetmessageid: <1498787501.44.0.725002274529.issue30809@psf.upfronthosting.co.za>
2017-06-30 01:51:41terry.reedylinkissue30809 messages
2017-06-30 01:51:40terry.reedycreate