From: Mark Hills Date: Mon, 28 Dec 2009 20:04:02 GMT Subject: [PATCH 4/5] gitk: Disable option when themed widgets are not available Message-ID: <1262030643-12952-4-git-send-email-mark@pogo.org.uk> In-Reply-To: <1262030643-12952-3-git-send-email-mark@pogo.org.uk> Disable the widget instead of using the label to indicate that themed widgets are not available. Signed-off-by: Mark Hills --- gitk-git/gitk | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-) diff --git a/gitk-git/gitk b/gitk-git/gitk index 5cbc885..5008753 100644 --- a/gitk-git/gitk +++ b/gitk-git/gitk @@ -10721,14 +10721,14 @@ proc doprefs {} { ${NS}::label $top.lgen -text [mc "General options"] grid $top.lgen - -sticky w -pady 10 - ${NS}::checkbutton $top.want_ttk -variable want_ttk \ - -text [mc "Use themed widgets"] if {$have_ttk} { - ${NS}::label $top.ttk_note -text [mc "(change requires restart)"] + ${NS}::checkbutton $top.want_ttk -variable want_ttk \ + -text [mc "Use themed widgets (change requires restart)"] } else { - ${NS}::label $top.ttk_note -text [mc "(currently unavailable)"] + ${NS}::checkbutton $top.want_ttk \ + -text [mc "Use themed widgets"] -state disabled } - grid x $top.want_ttk $top.ttk_note -sticky w + grid x $top.want_ttk - -sticky w ${NS}::label $top.cdisp -text [mc "Colors: press to choose"] grid $top.cdisp - -sticky w -pady 10 -- 1.6.6