You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Bookmarked line coloring is wrong when Selection Margin is disabled. For example, when margin is enabled, the margin icon will display for each bookmarked line using a white colour, however, if the margin is disabled then the entire line will be coloured white instead.
This behaviour is consistent with the expected behaviour per the Scintilla documentation (https://scintilla.org/ScintillaDoc.html under the Markers section):
Markers appear in the selection margin to the left of the text. If the selection margin is set to zero width, the background colour of the whole line is changed instead.
The text was updated successfully, but these errors were encountered:
Bookmarked line coloring is wrong when Selection Margin is disabled. For example, when margin is enabled, the margin icon will display for each bookmarked line using a white colour, however, if the margin is disabled then the entire line will be coloured white instead.
This behaviour is consistent with the expected behaviour per the Scintilla documentation (https://scintilla.org/ScintillaDoc.html under the Markers section):
The text was updated successfully, but these errors were encountered: