[PATCH 4/5] gitk: Disable option when themed widgets are not available
- From
- Mark Hills <mark@pogo.org.uk>
- Date
- Dec 28, 2009, 20:04 UTC
- 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 <mark@pogo.org.uk> --- 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