MiniZinc IDE: Search Highlight Contrast

17 views

Skip to first unread message

unread,

Jun 25, 2024, 3:43:42 AM (12 days ago) Jun 25

to mini...@googlegroups.com

I find the highlight -- which I can barely detect on `intValue` -- not sufficient contrast.

Is there anyway to increase the contrast or change the highlight style for this use case?

unread,

Jun 26, 2024, 8:00:09 PM (11 days ago) Jun 26

to MiniZinc

Hi,

Unfortunately right now I don't think there's an option to do that specifically, but I'll see if I can improve the contrast for the next release.

Reply all

Reply to author

Forward

0 new messages