[PATCH 4/5] gitk: Disable option when themed widgets are not available
- From
- Mark Hills <mark@pogo.org.uk>
- Date
- Jan 13, 2010, 20:40 UTC
- Message-ID
- <1263415222-5911-4-git-send-email-mark@pogo.org.uk>
- In-Reply-To
- <1263415222-5911-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 | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/gitk b/gitk index 3cdc31e..54f4fb3 100755 --- a/gitk +++ b/gitk @@ -10736,14 +10736,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.5.ge408