#1342 <https://github.com/leo-editor/leo-editor/issues/1342> suggests replacing buttons in the Find Tab with labels. This works around intractable problems discussed in #1337 <https://github.com/leo-editor/leo-editor/issues/1337>.
The work is complete in the find-tab branch. Imo, using labels is plenty good enough. As noted in #1342, you may want to add new style sheet entries to highlight these new labels. I'd like your opinions before merging the find-tab branch into devel. Let me know what you think. 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/2b5df506-20d5-4e32-9bcd-c3d2a97b354f%40googlegroups.com.
