Add history.

diff --git a/value.tcl b/value.tcl
index 1a49256beeaab62bb5715a7add837e2fe3dcc128..e3c9ae065379b3a18506ef994b6e82d32969f364 100644 (file)
--- a/value.tcl
+++ b/value.tcl
@@ -2,16 +2,23 @@
 # $Id$
 #
 
+proc value_no_filter {text} {
+    return $text
+}
+
 widget value {
     param width 80
     param height 20
     param main
+    param savehist 15
+    member hist_no 0
     method create {} {
        $self config -bd 2 -relief raised -highlightthickness 0
        pack [frame $self.title] -side top -fill x
        pack [label $self.title.l -text "Value:  "] -side left
-       label $self.title.vname -anchor w \
-           -textvariable [object_slotname value_name]
+       menubutton $self.title.vname -anchor w -menu $self.title.vname.m \
+           -bd 0
+       menu $self.title.vname.m -postcommand "$self fill_vname_menu"
        pack $self.title.vname -fill x
        scrollbar $self.sb -relief sunken -bd 1 -command "$self.t yview"
        text $self.t -yscroll "$self.sb set"
@@ -22,12 +29,27 @@ widget value {
     method reconfig {} {
        $self.t config -width $slot(width) -height $slot(height)
     }
-    method set_value {name value} {
+    method set_value {name value redo_command} {
        $self.t delete 1.0 end
        $self.t insert 1.0 $value
-       set slot(value_name) $name
+       $self.title.vname config -text $name
+       set slot(history.[incr slot(hist_no)]) [list $name $redo_command]
+       if {($slot(hist_no) - $slot(savehist)) > 0} {
+           unset slot(history.[expr $slot(hist_no)-$slot(savehist)])
+       }
+    }
+    method fill_vname_menu {} {
+       set m $self.title.vname.m
+       catch {$m delete 0 last}
+       for {set i $slot(hist_no)} {[info exists slot(history.$i)]} {incr i -1} {
+           $m add command -label [lindex $slot(history.$i) 0] \
+               -command [lindex $slot(history.$i) 1]
+       }
     }
     method set_send_filter {command} {
+       if {![string length $command]} {
+           set command value_no_filter
+       }
        set slot(send_filter) $command
     }
     method send_value {} {