This branch fixes #1021 <https://github.com/leo-editor/leo-editor/issues/1021>, a serious bug that has existed since February, 2018(!).
Only the left-most editor can ever have line numbers (depending on @bool use-gutter). The code to add gutters to all body editors is difficult. I have created #1061 <https://github.com/leo-editor/leo-editor/issues/1061> for this buglet, but it has low priority. Three branches <https://github.com/leo-editor/leo-editor/issues?q=is%3Aissue+milestone%3A5.8.1+is%3Aopen+label%3AAwaitingMerge> (corresponding two three issues) are awaiting their merger into "devel". I'll probably do that tomorrow. 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
