git-gui: Seperate out the database operations in project menu.

The project menu is just too cluttered without using separator entries
to split out the database operations (such as repack and verify) from
the other options in the same menu.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>

diff --git a/git-gui b/git-gui
index 7f75ffeaa0125d4b7982472da65e55feb8d19c4e..83ff5100acc1307effed83b7f5d9c6a7c9390835 100755 (executable)
--- a/git-gui
+++ b/git-gui
@@ -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} \