@matheusbsbs / matheus-bagliano / commits / 2faa6cdc5e
Fork 0

gitk: Un-hide selection in areas with non-default background color

The recently introduced background for the tags that highlight added and removed text takes precedence over the background color of the selection. But selected text is more important than the highlighted text. Make the highlighting tags the lowest priority. The same argument holds for the file separator and the highlight of search results. Therefore, make them also low-priority. But search results are a bit more important; therefore, keep them above the other tags. Signed-off-by: Johannes Sixt <j6t@kdbg.org> Signed-off-by: Paul Mackerras <paulus@ozlabs.org>

Johannes Sixt committed Apr 9, 2020 at 19:48 UTC 2faa6cdc5e4d1d5fd27512994f002fc2640b1949
1 file changed +6
gitk
+6
@@ -2460,6 +2460,12 @@ proc makewindow {} {
2460 $ctext tag conf currentsearchhit -back $currentsearchhitbgcolor
2461 $ctext tag conf wwrap -wrap word -lmargin2 1c
2462 $ctext tag conf bold -font textfontbold
2463 + # set these to the lowest priority:
2464 + $ctext tag lower currentsearchhit
2465 + $ctext tag lower found
2466 + $ctext tag lower filesep
2467 + $ctext tag lower dresult
2468 + $ctext tag lower d0
2469
2470 .pwbottom add .bleft
2471 if {!$use_ttk} {