arrow_back history picture_as_pdf This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ~~NOTRANS~~ ~~Title: Editor border styling~~ An editor has a default border and focus border. It looks like following: {{:flutterui:text.png?nolink&400|}} But sometimes you want a specific color for the border: {{:flutterui:bordercolor.png?nolink&300|}} It's simple to set your custom border color, e.g. <code java> editor.setStyle(new Style("f_border_color_#aa0000")); </code> The format is: f_border[_focused]_color{_#ColorInHex}[_#ColorForDarkMode] {} => required\\ [] => optional, can be cut out More details can be found [[https://github.com/sibvisions/flutter_jvx/issues/85|here]].