- A syntax coloring problem is fixed. Thanks to David Pearce for the bug report.
- The Spanish localization had a defective "Themes" tab in Settings. This is fixed. The Themes chapter in the manual is slightly improved.
- The "Themes" section in the English localization was pushed down, leading to a gap below the title before the color boxes appeared. Fixed.