This repository has been archived by the owner on Apr 19, 2023. It is now read-only.

Cursor color #3

Open

lapega opened this issue May 28, 2021 · 1 comment

lapega commented May 28, 2021

I'm using Ubuntu 20.04

Is there a way to change the color of the cursor,
is very difficult to see:

Thanks!!!

Owner

mleandrojr commented Jun 2, 2021

MySQL Workbench uses Scintilla to manage the colors.
Unfortunately there's no cursor color in MySQL Workbench scintilla file yet.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.