equal
deleted
inserted
replaced
730 #'orientation:' #vertical |
730 #'orientation:' #vertical |
731 ) |
731 ) |
732 #(#TabViewSpec |
732 #(#TabViewSpec |
733 #'name:' 'TabView' |
733 #'name:' 'TabView' |
734 #'layout:' #(#LayoutFrame 20 0 87 0 125 0 142 0) |
734 #'layout:' #(#LayoutFrame 20 0 87 0 125 0 142 0) |
735 #'tabWidget:' #Folder |
735 #'tabWidget:' #Window |
|
736 #'direction:' #top |
|
737 #'fitLastRow:' true |
|
738 #'moveSelectedRow:' true |
736 ) |
739 ) |
737 #(#LabelSpec |
740 #(#LabelSpec |
738 #'name:' 'label3' |
741 #'name:' 'label3' |
739 #'layout:' #(#Point 23 87) |
742 #'layout:' #(#Point 23 87) |
740 #'label:' 'TabView' |
743 #'label:' 'TabView' |