Hello Edward, Edward K. Ream schrieb am Freitag, 11. April 2025 um 14:26:24 UTC+2:
On Fri, Apr 11, 2025 at 6:01 AM Viktor Ransmayr <[email protected]> wrote: ... Thanks for the clarification. PR #4237 <https://github.com/leo-editor/leo-editor/pull/4237/files> summarizes all changes between version 6.8.3 and Leo's 6.8.4 branch. The changes you see in coloring are likely due to new settings in leoSettings.leo: <v t="ekr.20250115101744.1"><vh>rest_comments (Python and Rust only)</vh> <v t="ekr.20250115101744.2"><vh>@font rest.literal3</vh></v> <v t="ekr.20250115101744.3"><vh>@font rest.literal4</vh></v> <v t="ekr.20250115101744.4"><vh>@font rest.keyword5</vh></v> <v t="ekr.20250115101744.5"><vh>@@@font rest_comments.literal1</vh></v> <v t="ekr.20250115101744.6"><vh>@color rest_comments.literal1 = #d33682</vh></v> <v t="ekr.20250115101744.7"><vh>@color rest_comments.literal2 = #d33682</vh></v> <v t="ekr.20250115101744.8"><vh>@color rest_comments.literal3 = #d33682</vh></v> <v t="ekr.20250115101744.9"><vh>@color rest_comments.literal4 = #d33682</vh></v> <v t="ekr.20250115101744.10"><vh>@color rest.literal1 = #d33682</vh></v> <v t="ekr.20250115101744.11"><vh>@color rest.literal2 = #d33682</vh></v> <v t="ekr.20250115101744.12"><vh>@color rest.literal3 = #d33682</vh></v> <v t="ekr.20250115101744.13"><vh>@color rest.literal4 = #d33682</vh></v> <v t="ekr.20250115101744.14"><vh>@color rest.operator = #d33682</vh></v> <v t="ekr.20250115101744.15"><vh>@@@color rest.keyword1 = #d33682</vh></v> <v t="ekr.20250115101744.16"><vh>@color rest.keyword2 = #d33682</vh></v> <v t="ekr.20250115101744.17"><vh>@color rest.keyword3 = #d33682</vh></v> <v t="ekr.20250115101744.18"><vh>@color rest.keyword4 = #d33682</vh></v> <v t="ekr.20250115101744.19"><vh>@color rest.keyword5 = #d33682</vh></v> You can test this theory by setting these colors to, say, 'red' in your myLeoSettings.leo. I have tried - but - something did NOT work. I tried to find "rest.literal" in 'leoSettings' outline of the 'devel' branch - but - failed :-( Reading parts of PR #4237 <https://github.com/leo-editor/leo-editor/pull/4237/files> I have the feeling that to many branches are involved ... HTH ? Viktor -- 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 visit https://groups.google.com/d/msgid/leo-editor/52ad5009-9233-4dcc-9596-4503502ced3bn%40googlegroups.com.
