diff options
| -rwxr-xr-x | git-gui | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -2619,6 +2619,8 @@ menu .mbar.project -command do_gitk \ -font font_ui if {!$single_commit} { + .mbar.project add separator + .mbar.project add command -label {Repack Database} \ -command do_repack \ -font font_ui @@ -2627,6 +2629,8 @@ if {!$single_commit} { -command do_fsck_objects \ -font font_ui + .mbar.project add separator + if {$tcl_platform(platform) eq {windows}} { .mbar.project add command \ -label {Create Desktop Icon} \ |