UIPainter.st
changeset 2425 22db8982a5c9
parent 2411 14dd0d9afbf3
child 2426 51e741037ce6
equal deleted inserted replaced
2424:12831cc181ba 2425:22db8982a5c9
  1931             translateLabel: true
  1931             translateLabel: true
  1932           )
  1932           )
  1933          (MenuItem
  1933          (MenuItem
  1934             activeHelpKey: pasteWithLayout
  1934             activeHelpKey: pasteWithLayout
  1935             enabled: canPasteKeepingLayoutHolder
  1935             enabled: canPasteKeepingLayoutHolder
  1936             label: 'Paste With Layout'
  1936             label: 'Paste with Layout'
  1937             itemValue: pasteWithLayout
  1937             itemValue: pasteWithLayout
  1938             translateLabel: true
  1938             translateLabel: true
  1939           )
  1939           )
  1940          (MenuItem
  1940          (MenuItem
  1941             activeHelpKey: editPaste
  1941             activeHelpKey: editPaste
  2474             labelImage: (ResourceRetriever ToolbarIconLibrary copyWidgetIcon)
  2474             labelImage: (ResourceRetriever ToolbarIconLibrary copyWidgetIcon)
  2475           )
  2475           )
  2476          (MenuItem
  2476          (MenuItem
  2477             activeHelpKey: editPaste
  2477             activeHelpKey: editPaste
  2478             enabled: canPasteKeepingLayoutHolder
  2478             enabled: canPasteKeepingLayoutHolder
  2479             label: 'Paste With Layout'
  2479             label: 'Paste with Layout'
  2480             itemValue: pasteWithLayout
  2480             itemValue: pasteWithLayout
  2481             translateLabel: true
  2481             translateLabel: true
  2482             isButton: true
  2482             isButton: true
  2483             labelImage: (ResourceRetriever ToolbarIconLibrary pasteWidgetIcon)
  2483             labelImage: (ResourceRetriever ToolbarIconLibrary pasteWidgetIcon)
  2484           )
  2484           )