How to customize borders?

[snlucas]

Hi!

Is there a way to customize borders? Like instead of solid borders have dotted ones?

[leodevbro]

Interesting idea. I'll try to implement new setting for this. Maybe I will be able to do it in several days. (Or maybe today or tomorrow, if things go smooth).

[leodevbro]

I tried but unfortunately the current structure of Blockman makes it impossible (or too difficult) to change border style.

The blocks (div boxes) does not have actual borders. Borders are represented as border-box helpers like this:

const backgroundAndBorder =
        "background: " +
        inputBackgroundColor +
        " padding-box, " +
        inputBorderColor +
        "border-box;";

For the future, I am going to try to implement SVG rendering instead of div rendering. SVG is very flexible, but I'm not sure that VS Code extension environment supports it without a huge headache.

Like I said in this issue:
#116

[snlucas]

I see.
Well, that's ok. Hope it can be done in the future.