~~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]].