MenuEditor.st
changeset 875 f82d184bf871
parent 873 6221f17ee6e2
child 879 9f1a94815f07
equal deleted inserted replaced
874:ab93fcd829c5 875:f82d184bf871
   977      
   977      
   978        #(#FullSpec
   978        #(#FullSpec
   979           #window: 
   979           #window: 
   980            #(#WindowSpec
   980            #(#WindowSpec
   981               #name: 'Menu Editor'
   981               #name: 'Menu Editor'
   982               #layout: #(#LayoutFrame 189 0 552 0 872 0 931 0)
   982               #layout: #(#LayoutFrame 106 0 544 0 663 0 923 0)
   983               #label: 'Menu Editor'
   983               #label: 'Menu Editor'
   984               #min: #(#Point 510 390)
   984               #min: #(#Point 510 390)
   985               #max: #(#Point 1152 900)
   985               #max: #(#Point 1152 900)
   986               #bounds: #(#Rectangle 189 552 873 932)
   986               #bounds: #(#Rectangle 106 544 664 924)
   987               #menu: #menu
   987               #menu: #menu
   988               #usePreferredExtent: false
   988               #usePreferredExtent: false
   989           )
   989           )
   990           #component: 
   990           #component: 
   991            #(#SpecCollection
   991            #(#SpecCollection
  1049                 )
  1049                 )
  1050               )
  1050               )
  1051           )
  1051           )
  1052       )
  1052       )
  1053 
  1053 
  1054     "Modified: / 20.5.1998 / 01:18:39 / cg"
  1054     "Modified: / 20.6.1998 / 15:41:41 / cg"
  1055 ! !
  1055 ! !
  1056 
  1056 
  1057 !MenuEditor class methodsFor:'menu specs'!
  1057 !MenuEditor class methodsFor:'menu specs'!
  1058 
  1058 
  1059 menu
  1059 menu