On Tue, Nov 19, 2024 at 7:57 AM Edward K. Ream <[email protected]> wrote:
The colorizer would maintain a stack of *delegated modes*. For example, > jedit would switch from "html mode" to "javascript" mode when it saw > "delegate"="javascript". > > > *Somehow*, the colorer must pop the stack when the javascript mode sees > the ending `>`. > Aha: The mode files can *tell* the colorizer when to pop the stack. Something like: colorizer.end_delegated_mode() end_delegated_mode will pop the mode stack, but only if the mode stack isn't empty. This scheme is easy and safe! 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 visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS2oV%3D5N2shABo%2B95MbdKRvUpU%2BSUB1Lv-dF1i5QE%3D_k-Q%40mail.gmail.com.
