Would it be possible to get an option to change the color of the caret? I prefer to use a dark background, but the black caret is very difficult to find on a dark background.
Is committed to our GIT repository, will be available in future snapshots and versions.
Excerpt from change log:
Caret color of SQL editor can be adjusted, see menu File -> New Session Properties -> tab Syntax.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
So it is intentional that it does NOT work for the already open session via Session -> Session Properties -> tab Syntax?
(Tested with snapshot from 2020-06-25 on Windows 8.1)
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Is committed to our GIT repository, will be available in future snapshots and versions.
Excerpt from change log:
Caret color of SQL editor can be adjusted, see menu File -> New Session Properties -> tab Syntax.
So it is intentional that it does NOT work for the already open session via Session -> Session Properties -> tab Syntax?
(Tested with snapshot from 2020-06-25 on Windows 8.1)
It is true that it doesn't work. I wouldn't call it intentional but rather not so simple to implement and thus considered not worth the effort. ;)
Ok, I don't use the feature anyway :-)
So the ticket can be closed then?
Closed on user request.