open-source-silicon.dev

image.png

Any way to make the selection box thicker? (Red always appears to have a very thin white outline with my monitor/eyes.) Can't find anything in docs or magicrc.

```sudo vim /usr/local/lib/magic/sys/mos.OpenGL.dstyle```
Make these changes to add a bit of dashed outline to selection:

```
# 1	127	64	0x00	solid	0	-	solid_highlights
1	127	64	0xbb	solid	0	-	solid_highlights
2	92	64	0x00	stipple 12	-	medium_highlights
3	92	64	0x00	stipple 9	-	pale_highlights
4	92	64	0x00	stipple 10	-	horiz_highlights
5	92	64	0x00	stipple 11	-	vert_highlights
# 6	127	64	0xff	outline	0	-	outline_highlights
6	127	64	0x55	outline	0	-	outline_highlights
7	92	105	0xcc	outline 0	-	dotted_highlights```

What is Linen?