780 #'model:' #topAlignmentFraction |
780 #'model:' #topAlignmentFraction |
781 #'type:' #numberOrNil |
781 #'type:' #numberOrNil |
782 ) |
782 ) |
783 #(#DividerSpec |
783 #(#DividerSpec |
784 #'name:' 'separator1' |
784 #'name:' 'separator1' |
785 #'layout:' #(#Rectangle 175 107 224 110) |
785 #'layout:' #(#Rectangle 175 110 224 115) |
786 #'orientation:' #horizontal |
786 #'orientation:' #horizontal |
787 ) |
787 ) |
788 #(#DividerSpec |
788 #(#DividerSpec |
789 #'name:' 'separator2' |
789 #'name:' 'separator2' |
790 #'layout:' #(#Rectangle 175 139 224 142) |
790 #'layout:' #(#Rectangle 175 140 224 145) |
791 #'orientation:' #horizontal |
791 #'orientation:' #horizontal |
792 ) |
792 ) |
793 #(#DividerSpec |
793 #(#DividerSpec |
794 #'name:' 'separator3' |
794 #'name:' 'separator3' |
795 #'layout:' #(#Rectangle 167 118 170 139) |
795 #'layout:' #(#Rectangle 170 118 175 139) |
796 #'orientation:' #vertical |
796 #'orientation:' #vertical |
797 ) |
797 ) |
798 #(#DividerSpec |
798 #(#DividerSpec |
799 #'name:' 'separator4' |
799 #'name:' 'separator4' |
800 #'layout:' #(#Rectangle 222 118 225 139) |
800 #'layout:' #(#Rectangle 226 118 231 139) |
801 #'orientation:' #vertical |
801 #'orientation:' #vertical |
802 ) |
802 ) |
803 #(#ActionButtonSpec |
803 #(#ActionButtonSpec |
804 #'name:' 'alignBottomRight' |
804 #'name:' 'alignBottomRight' |
805 #'layout:' #(#Rectangle 222 138 234 150) |
805 #'layout:' #(#Rectangle 222 138 234 150) |