forgot the new icons

- Added new actions "Hide" and "Reveal" which allow direct setting of objects' visibility setting instead of toggling it.

added a configuration option for line anti-aliasing

fixed: deleting objects would trigger a crash

more minor changes

style corrections

i'm dumb

(0) -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 tip

mercurial