On Thursday, November 2, 2023 at 1:00:46 PM UTC-5 Edward K. Ream wrote: > A new PR will define the leo_minibuffer_frame ivar and various show/hide/toggle commands.
Done. See PR #3630 <https://github.com/leo-editor/leo-editor/pull/3630>. All comments welcome. 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/4439b545-367d-4fce-aaa1-746902720a98n%40googlegroups.com.
