A possible clue: When I press <SHIFT> for the first time after launching Leo, I get the following error message:
OpenType support missing for "Consolas", script 32 OpenType support missing for "DejaVu Sans Mono", script 32 OpenType support missing for "Arial", script 32 OpenType support missing for "MS UI Gothic", script 32 OpenType support missing for "SimSun", script 32 OpenType support missing for "Segoe UI Emoji", script 32 OpenType support missing for "Segoe UI Symbol", script 32 I haven't gotten this behavior when pressing <CNTRL> or <ALT>. If there is a problem with the type system, perhaps it's not a surprise if strange glyphs get inserted. In addition, my list of fonts in my font-family setting does not include some of these. In the configuration of this particular Leo instance I'm not using a Leo theme at all; I have some settings in in MyLeoSettings for font-family, etc. To avoid invoking the default theme, I'm specifying a non-existent theme name. On Wednesday, April 14, 2021 at 5:35:41 AM UTC-4 Edward K. Ream wrote: > On Tue, Apr 13, 2021 at 9:51 PM [email protected] <[email protected]> > wrote: > > If I rpess a modifier key in the Nav or Console panes, nothing gets >> inserted, but in the log pane, I get this (gotten by copy-paste from the >> log pane - the "ctrl" + glyphs were added when I copied the "shift" + >> glyphs with CNTRL-C): >> >> ctrl+ៀ?shift+ៀ? >> >> In the body pane, I get the odd glyphs but not the words "ctrl" or "shift" >> >> In a headline, I get what seem to be the same glyphs. >> > > I just saw something similar after a Ctrl-Shift-C (paste-node). > > >> I'm thinking illegal o broken utf-8 byte arrays instead of strings, maybe. >> > > A reasonable hypothesis. > > Edward > -- 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/ab63a29d-c5fc-464b-a683-f9bd4c0a55cen%40googlegroups.com.
