Modal editor style setting

[jdu]

The modal editor style, i'm not 100% sure what it's supposed to do? I have this code:

    let editor_a = text_editor(text)
        .editor_style(move |s| {
            s.hide_gutter(hide_gutter_a.get())
                .scroll_beyond_last_line(true)
                .modal(true)
                .modal_relative_line(true)
                .wrap_method(WrapMethod::WrapWidth { width: 980. })
        })
        .styling(SimpleStyling::new())
        .style(|s| s.size_full());

But the .modal(true) which I had assumed meant "modal editing" as in modes (i.e. Normal, Insert -- similar to vim). But the setting doesn't seem to have an effect on the editor, nor does the modal_relative_line setting..

---- Side Quest

Is there somewhere to look for modifying the gutter (as in displaying indicators beyond the line number)?

[jrmoulton]

The modal editing will need special handling in the same way that Lapce handles it.

https://docs.rs/floem/latest/floem/views/editor/view/fn.editor_view.html

This is the base editor view. If you would like to customize the gutter right now the easiest things might be to just copy the existing gutter view and modify as you want. Then if you find a nice way to customize that could potentially be accepted in a PR

[jdu]

Ah thanks for the pointers, i'm slowly getting to grips with what's in text_editor and realized that I might need to extend it in a couple places... i'll see what I can cook up!