- }
- if {[tk4]} {
- $w tag configure indent$i \
- -lmargin1 [expr $i * 10] \
- -lmargin2 [expr $i * 10 + 5]
- $w tag add indent$i $start insert
+ if {[tk4]} {
+ $w tag configure indent$i \
+ -lmargin1 [expr $i * 16] \
+ -lmargin2 [expr $i * 16 + 8]
+ $w tag add indent$i $start insert
+ }
+ if {[lindex $e 3] == "subtree"} {
+ display-grs-medium $w [lindex $e 4] [expr $i+1]
+ }