equal
deleted
inserted
replaced
944 so that the user can be warned at session end" |
944 so that the user can be warned at session end" |
945 |
945 |
946 ^ modified ? false |
946 ^ modified ? false |
947 ! ! |
947 ! ! |
948 |
948 |
|
949 |
|
950 |
949 !UserPreferences methodsFor:'accessing-locale'! |
951 !UserPreferences methodsFor:'accessing-locale'! |
950 |
952 |
951 dateInputFormat |
953 dateInputFormat |
952 "return a format used when tools read a date from the user" |
954 "return a format used when tools read a date from the user" |
953 |
955 |
1275 |
1277 |
1276 socksProxyPort:aNumber |
1278 socksProxyPort:aNumber |
1277 ^ self at:#socksProxyPort put:aNumber |
1279 ^ self at:#socksProxyPort put:aNumber |
1278 |
1280 |
1279 "Created: / 27-12-2011 / 14:42:29 / cg" |
1281 "Created: / 27-12-2011 / 14:42:29 / cg" |
|
1282 ! |
|
1283 |
|
1284 useBuiltinJVM |
|
1285 "an experimental flag if the builtin JVM should be used for |
|
1286 JAVA instead of an external jvm. |
|
1287 Notice that the builtin jvm does not support >= v8 java" |
|
1288 |
|
1289 ^ self at:#useBuiltinJVM ifAbsent:false |
|
1290 |
|
1291 "Created: / 17-01-2019 / 12:53:22 / Claus Gittinger" |
|
1292 ! |
|
1293 |
|
1294 useBuiltinJVM:aBoolean |
|
1295 "an experimental flag if the builtin JVM should be used for |
|
1296 JAVA instead of an external jvm. |
|
1297 Notice that the builtin jvm does not support >= v8 java" |
|
1298 |
|
1299 self at:#useBuiltinJVM put:aBoolean |
|
1300 |
|
1301 "Created: / 17-01-2019 / 12:53:30 / Claus Gittinger" |
1280 ! ! |
1302 ! ! |
1281 |
1303 |
1282 !UserPreferences methodsFor:'accessing-pref''d tools'! |
1304 !UserPreferences methodsFor:'accessing-pref''d tools'! |
1283 |
1305 |
1284 changeSetBrowserClass |
1306 changeSetBrowserClass |
1711 self useNewVersionDiffBrowser ifTrue:[ |
1733 self useNewVersionDiffBrowser ifTrue:[ |
1712 ^ (VersionDiffBrowser ? DiffTextView) |
1734 ^ (VersionDiffBrowser ? DiffTextView) |
1713 ]. |
1735 ]. |
1714 ^ DiffCodeView |
1736 ^ DiffCodeView |
1715 ! ! |
1737 ! ! |
|
1738 |
1716 |
1739 |
1717 !UserPreferences methodsFor:'accessing-prefs-UI'! |
1740 !UserPreferences methodsFor:'accessing-prefs-UI'! |
1718 |
1741 |
1719 allowMouseWheelZoom |
1742 allowMouseWheelZoom |
1720 "return the flag which controls if text can be magnified via the ALT-wheel-action" |
1743 "return the flag which controls if text can be magnified via the ALT-wheel-action" |