1
0
mirror of https://github.com/git/git.git synced 2024-10-01 08:21:24 +02:00

git-gui: Disable the text widget in the repository chooser

Although we are using a text widget here we really do not
want the end-user to be able to modify the text it displays.
So we need to disable it.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
This commit is contained in:
Shawn O. Pearce 2007-10-12 11:04:20 -04:00
parent 580b73de25
commit 28d1b11a11

@ -108,6 +108,8 @@ constructor pick {} {
-label [mc "Open..."]
}
$opts conf -state disabled
set sorted_recent [_get_recentrepos]
if {[llength $sorted_recent] > 0} {
if {$m_repo ne {}} {