equal
deleted
inserted
replaced
350 |
350 |
351 #pasteBuffer |
351 #pasteBuffer |
352 'Pastes the widgets of the clipboard at the current mouse position.' |
352 'Pastes the widgets of the clipboard at the current mouse position.' |
353 |
353 |
354 #pasteWithLayout |
354 #pasteWithLayout |
355 'Pastes the widgets of the clipboard without a changing of their layouts.' |
355 'Pastes the widgets of the clipboard without changing their layouts.' |
356 |
356 |
357 #referToCOnfigDatabase |
357 #referToCOnfigDatabase |
358 '' |
358 '' |
359 |
359 |
360 #settingsAspectsAsInstances |
360 #settingsAspectsAsInstances |
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: pasteWithoutLayout |
1937 itemValue: pasteWithLayout |
1938 translateLabel: true |
1938 translateLabel: true |
1939 ) |
1939 ) |
1940 (MenuItem |
1940 (MenuItem |
1941 activeHelpKey: editPaste |
1941 activeHelpKey: editPaste |
1942 enabled: canPasteKeepingLayoutHolder |
1942 enabled: canPasteKeepingLayoutHolder |