Menu

#577 Caret Color in the Editor

SQuirreL
closed
nobody
None
low
2020-07-19
2019-02-27
Greg A
No

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.

Discussion

  • Gerd Wagner

    Gerd Wagner - 2019-02-28
    • status: open --> accepted
     
  • Gerd Wagner

    Gerd Wagner - 2019-02-28

    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.

     
    • sfst

      sfst - 2020-07-05

      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)

       
  • Gerd Wagner

    Gerd Wagner - 2020-07-08

    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. ;)

     
    • sfst

      sfst - 2020-07-11

      Ok, I don't use the feature anyway :-)
      So the ticket can be closed then?

       
  • Gerd Wagner

    Gerd Wagner - 2020-07-19
    • status: accepted --> closed
     
  • Gerd Wagner

    Gerd Wagner - 2020-07-19

    Closed on user request.

     

Log in to post a comment.

MongoDB Logo MongoDB