Changes between Initial Version and Version 1 of Ticket #66914, comment 66
- Timestamp:
- Jul 20, 2023, 10:15:47 PM (15 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #66914, comment 66
initial v1 1 1 Sorry - after doing my tests I switched back to "master" rather than "main" and got an old build from 2021. I now deleted the old master branch locally. 2 2 3 The AUI management works fine in the latest build 80ddb65edaaebf8d87841b56b27a7218400b65e6 :-)3 The AUI management works fine in the latest build !80ddb65edaaebf8d87841b56b27a7218400b65e6 :-) 4 4 5 5 What remains is that I cannot set the style for "Style/Default" / "Code Default". When I change it to not bold not italic in preferences, it has an effect. This is also correctly saved in the preferences file as: