Adjust carets in title bar, Command_ReplaceEx, adjust look of underline
This commit is contained in:
@@ -350,8 +350,8 @@ function GenericTextFileRule(_s)
|
||||
end
|
||||
end
|
||||
|
||||
line, col, _s = ChopLineAndColumn(_s)
|
||||
_s = ChopColon(_s)
|
||||
line, col, _s = ChopLineAndColumn(_s)
|
||||
file_path = match_path(_s)
|
||||
return {kind = "text", file_path = file_path, line = line, col = col}
|
||||
end
|
||||
@@ -457,6 +457,8 @@ void GenerateConfig() {
|
||||
colors.add({"SubCaret", "GruvboxGray245"});
|
||||
colors.add({"Selection", "GruvboxLight1"});
|
||||
colors.add({"WhitespaceDuringSelection", "GruvboxLight4"});
|
||||
colors.add({"MouseUnderline", "GruvboxDark0Hard"});
|
||||
colors.add({"CaretUnderline", "GruvboxGray245"});
|
||||
|
||||
colors.add({"FuzzySearchLineHighlight", "GruvboxDark0"});
|
||||
|
||||
|
||||
Reference in New Issue
Block a user