equal
deleted
inserted
replaced
|
1 "{ Encoding: utf8 }" |
|
2 |
1 " |
3 " |
2 COPYRIGHT (c) 2002 by eXept Software AG |
4 COPYRIGHT (c) 2002 by eXept Software AG |
3 All Rights Reserved |
5 All Rights Reserved |
4 |
6 |
5 This software is furnished under a license and may be used |
7 This software is furnished under a license and may be used |
2450 model: allowEmptyStatements |
2452 model: allowEmptyStatements |
2451 translateLabel: true |
2453 translateLabel: true |
2452 extent: (Point 665 22) |
2454 extent: (Point 665 22) |
2453 ) |
2455 ) |
2454 (CheckBoxSpec |
2456 (CheckBoxSpec |
2455 label: 'Allow Paragraph in Identifiers (§)' |
2457 label: 'Allow Paragraph in Identifiers (§)' |
2456 name: 'CheckBox10' |
2458 name: 'CheckBox10' |
2457 activeHelpKey: allowParagraphInIdentifier |
2459 activeHelpKey: allowParagraphInIdentifier |
2458 uuid: '9c9316ac-1f3f-11b2-903e-3065ec8abe8a' |
2460 uuid: '9c9316ac-1f3f-11b2-903e-3065ec8abe8a' |
2459 model: allowParagraphInIdentifier |
2461 model: allowParagraphInIdentifier |
2460 translateLabel: true |
2462 translateLabel: true |
9828 currentScreen isWindowsPlatform ifTrue:[ |
9830 currentScreen isWindowsPlatform ifTrue:[ |
9829 self lowerOnRightClickInTitle value:(currentScreen rightButtonIsLowerWindow:nil). |
9831 self lowerOnRightClickInTitle value:(currentScreen rightButtonIsLowerWindow:nil). |
9830 self lowerOnShiftClickInTitle value:(currentScreen shiftedLeftButtonIsLowerWindow:nil). |
9832 self lowerOnShiftClickInTitle value:(currentScreen shiftedLeftButtonIsLowerWindow:nil). |
9831 ]. |
9833 ]. |
9832 |
9834 |
9833 markThisApplicationAsHighDpiAwareHolder |
9835 "/ #markThisApplicationAsHighDpiAwareHolder is nil under linux/osx |
9834 value:self class isHighDpiAwareSetInRegistry |
9836 markThisApplicationAsHighDpiAwareHolder notNil ifTrue:[ |
9835 withoutNotifying:self. |
9837 markThisApplicationAsHighDpiAwareHolder |
|
9838 value:self class isHighDpiAwareSetInRegistry |
|
9839 withoutNotifying:self. |
|
9840 ] |
9836 |
9841 |
9837 "Modified: / 24-08-2010 / 16:43:39 / sr" |
9842 "Modified: / 24-08-2010 / 16:43:39 / sr" |
9838 "Modified: / 28-11-2019 / 10:25:50 / Stefan Reise" |
9843 "Modified: / 28-11-2019 / 10:25:50 / Stefan Reise" |
9839 ! |
9844 ! |
9840 |
9845 |
9875 |
9880 |
9876 mustReopenTools ifTrue:[ |
9881 mustReopenTools ifTrue:[ |
9877 self reopenToolsAfterChangedViewStyleSetting. |
9882 self reopenToolsAfterChangedViewStyleSetting. |
9878 ]. |
9883 ]. |
9879 |
9884 |
9880 "/ #markThisApplicationAsHighDpiAwareHolder is nil under linux |
9885 "/ #markThisApplicationAsHighDpiAwareHolder is nil under linux/osx |
9881 markThisApplicationAsHighDpiAwareHolder notNil ifTrue:[ |
9886 markThisApplicationAsHighDpiAwareHolder notNil ifTrue:[ |
9882 self class applyMarkThisApplicationAsHighDpiAware:markThisApplicationAsHighDpiAwareHolder value. |
9887 self class applyMarkThisApplicationAsHighDpiAware:markThisApplicationAsHighDpiAwareHolder value. |
9883 ]. |
9888 ]. |
9884 |
9889 |
9885 "Modified: / 24-08-2010 / 17:27:25 / sr" |
9890 "Modified: / 24-08-2010 / 17:27:25 / sr" |
9934 ]. |
9939 ]. |
9935 ^ lowerOnShiftClickInTitle. |
9940 ^ lowerOnShiftClickInTitle. |
9936 ! |
9941 ! |
9937 |
9942 |
9938 markThisApplicationAsHighDpiAwareHolder |
9943 markThisApplicationAsHighDpiAwareHolder |
|
9944 "warning: nil if not running on linux/osx" |
|
9945 |
9939 ^ markThisApplicationAsHighDpiAwareHolder |
9946 ^ markThisApplicationAsHighDpiAwareHolder |
9940 |
9947 |
9941 "Created: / 28-11-2019 / 10:31:05 / Stefan Reise" |
9948 "Created: / 28-11-2019 / 10:31:05 / Stefan Reise" |
9942 ! |
9949 ! |
9943 |
9950 |