[code][Textadept] Change font size of ui.dialogs.filteredlist

From: Franck Guadagnini <franckguadagnini.att.me.com>
Date: Thu, 10 Aug 2017 11:55:38 +0200


Default font size of ui.dialogs.filteredlist's items on macOS is too small for my eyes (from the attached screenshot, can you tell the difference between various diacritics?). Could you provide an option to change it?


You are subscribed to code.att.foicica.com.
To change subscription settings, send an e-mail to code+help.att.foicica.com.
To unsubscribe, send an e-mail to code+unsubscribe.att.foicica.com.
Received on Thu 10 Aug 2017 - 05:55:38 EDT

This archive was generated by hypermail 2.2.0 : Thu 10 Aug 2017 - 06:39:00 EDT