Tim Edwards
04/28/2022, 2:58 PMEdit->Text...
to create the labels. There are two kinds of labels, the original kind based on fixed-size X11 fonts, and rendered ones based on outline fonts that I added to magic some years back. The command-line invocation is complicated (have to provide font name, scale, rotation, etc.) so I usually just direct people to the menu item. With the rendered fonts, you can select the size of the text in microns. With the fixed-size X11 fonts, you get a handful of fixed pixel sizes, and when magic deems that the view is zoomed too far out, they disappear altogether, which is what you're seeing.
To delete a label: Put the cursor box around the area where the label is, and type "erase labels". That's the best way to remove the label without touching anything else around it.Ryan R
04/28/2022, 4:13 PMRyan R
04/28/2022, 4:39 PMTim Edwards
04/28/2022, 10:11 PMRyan R
05/01/2022, 3:02 PMRyan R
05/01/2022, 3:05 PMLinen is a search-engine friendly community platform. We offer integrations with existing Slack/Discord communities and make those conversations Google-searchable.
Powered by