Regarding #490 <https://github.com/leo-editor/leo-editor/issues/490> I think that I made my position clear: the support for font settings per language should be removed. OTOH, Edward you explicitly wrote:
> I'm concerned about removing settings. How do you propose to allow > per-language settings? I propse to remove per-language settings. Whoever uses this settings can't use Ctrl-<wheel> zoom. I am almost sure nobody uses those settings and in leoSettings.leo there are just settings for php and forth. So, anyone who uses Leo to edit php files suffers from this bug. If there is anyone who uses Leo to write in forth language, the same bug bites again. The only reasonable solution (IMHO) is to drop the support for font settings per language. Or at least to remove those settings from leoSettings.leo. In that case issue 490 will go away for PHP programmers, but we'll be waiting for someone else to try to customize font per language according to the official documentation, and then to report the same issue again. I think Terry was the one who wrote the code that allows Ctrl-wheel zoom and it seems to me that fixing this code to honor font-per-language settings will be very difficult and most likely will hurt the overall performance. The code would have to look up all per language font settings and to change them on every zoom in/out (number of languages Leo supports x number of possible font settings[1,2,3,4] x font[family, weight, slant, size]). It is something not very like worth doing. If you still want to delegate this issue to me, I will remove the support for font per language setting. Vitalije -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/112faafb-a6da-4fd8-890a-610141b62e9b%40googlegroups.com.
