A few questions about notes

Feature request
1

Is there a way to turn off spellcheck in the notes? It is really distracting to have most of transcriptions with the red squiggly lines under them.
Also, why can’t I type the / character into my notes? At first I thought my keyboard was broken, but no - it just seems that the program won’t allow it

2

Thanks for reporting! We’ve already addressed both these issues and they’ll be fixed in the upcoming release.

3

Will it ever be possible to change the font in the notes section?

4

Do you mean to change the font size only or the font family? You can already adjust the font size in general terms in the preferences window and you can also change it via the View -> Zoom settings of the window (this scales the entire UI).

If you would set the font family for the notes explicitly or customize the styles you can use a custom stylesheet. If you’re interested in this, I’d suggest to turn on developer mode in the preferences and enable the devtools: this will let you explore the active styles. To add custom styles, just put a file called styles.css into your user data folder (Help -> Show user-data folder).

1 Like
5

Is this still a valid instruction? I added the code to this file and it doesn’t have any effect. I want to decrease the font size in my notes window. The code in styles.css now is:

.note-text {
  font-size: 10pt;
}

.prefs .prefs-body {
  min-width: 0;
}
6

The note content has moved into an iFrame so style overrides currently don’t apply to the notes. We’ll have to add a separate override file specifically for the note pad.

7

I understand. Is there any way I can decrease the font size in notes right now?

8

Because the note is in the iFrame it also does not respond to the font-size setting in the preferences. I believe that’s a bug that we also should address @flachware?

As a result there’s currently no easy way to adjust the font size. Since the iFrame reacts to the overall zoom level you could try zooming out the entire GUI, making everything smaller, and then increasing the font size in the preferences.

The only other way is to edit the built-in editor stylesheet directly. However, this file is inside an ASAR archive, so it’s a little involved: you will need to locate the archive (this depends on your operating system and where you have Tropy installed), extract the file lib/css/editor-light.css or lib/css/editor-dark.css, edit the file and put it back into the archive.

1 Like
9

Thanks, I am using the workaround with increased font size in preferences and overall zoom out. It works for now but it would be great to have another option because the overall zoom tends to reset when moving the window (might be caused by MacOS and/or Amethyst).

1 Like