net label not flipped
EllaBarker opened this issue · 6 comments
EllaBarker commented
xsrf commented
thx for bringing this up, I'll have a look at it
xsrf commented
I've pushed a change to the extension/main.js
with 1d9d39d that should flip the net names. I haven't had time to do some tests, so I won't publish an official ne version yet, but you can test it with the new main.js
.
EllaBarker commented
xsrf commented
the alignment of the box is off (it is aligned to the right end of the label) but I think that is okay... I could fix that but it would create issues when editing a text label near the left/right edge of the editor
xsrf commented
@EllaBarker I've just released the new version with both fixes