mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-06-09 10:46:02 +02:00
[refactoring] Remove the rseConfigDefaults extension point and replace the properties with system properties that can be specified through config.ini
This commit is contained in:
parent
8e58727598
commit
98f45d6697
1 changed files with 2 additions and 2 deletions
|
@ -163,13 +163,13 @@ public class RSEUIPlugin extends SystemBasePlugin implements ISystemMessageProvi
|
||||||
dontShowLocalConnection = showNewConn.equals("false");
|
dontShowLocalConnection = showNewConn.equals("false");
|
||||||
}
|
}
|
||||||
|
|
||||||
enabledSystemTypes = System.getProperty("enableSystemTypes");
|
enabledSystemTypes = System.getProperty("rse.enableSystemTypes");
|
||||||
|
|
||||||
if ((enabledSystemTypes != null) && (enabledSystemTypes.length() == 0)) {
|
if ((enabledSystemTypes != null) && (enabledSystemTypes.length() == 0)) {
|
||||||
enabledSystemTypes = null;
|
enabledSystemTypes = null;
|
||||||
}
|
}
|
||||||
|
|
||||||
String showProfileInitially = System.getProperty("showProfilePage");
|
String showProfileInitially = System.getProperty("rse.showProfilePage");
|
||||||
|
|
||||||
if (showProfileInitially != null) {
|
if (showProfileInitially != null) {
|
||||||
dontShowProfilePageInitially = showProfileInitially.equals("false");
|
dontShowProfilePageInitially = showProfileInitially.equals("false");
|
||||||
|
|
Loading…
Add table
Reference in a new issue