gitk: remove header of now empty section "General options"

j6t · j6t · commit 2d3f3f01270a · 2025-07-22T18:34:21.000+02:00
An earlier commit remove the only option that was available under
"General options". We don't need the header for the empty section.

Signed-off-by: Johannes Sixt &lt;j6t@kdbg.org&gt;
diff --git a/gitk b/gitk
@@ -11707,8 +11707,6 @@ proc prefspage_general {notebook} {
     pack configure $page.webbrowserf.l -padx 10
     grid x $page.webbrowserf $page.webbrowser -sticky ew
 
-    ttk::label $page.lgen -text [mc "General options"] -font mainfontbold
-    grid $page.lgen - -sticky w -pady 10
     return $page
 }
 

Original file line number	Diff line number	Diff line change
`@@ -11707,8 +11707,6 @@ proc prefspage_general {notebook} {`
`11707`	`11707`	`pack configure $page.webbrowserf.l -padx 10`
`11708`	`11708`	`grid x $page.webbrowserf $page.webbrowser -sticky ew`
`11709`	`11709`
`11710`		`- ttk::label $page.lgen -text [mc "General options"] -font mainfontbold`
`11711`		`- grid $page.lgen - -sticky w -pady 10`
`11712`	`11710`	`return $page`
`11713`	`11711`	`}`
`11714`	`11712`