diff --git a/news/4.31/platform.html b/news/4.31/platform.html index fb6499c9e..e516991bb 100644 --- a/news/4.31/platform.html +++ b/news/4.31/platform.html @@ -139,6 +139,22 @@
+ When Eclipse was restarted using File > Restart
, File > Switch Workspace
or after installing a P2 updatesite,
+ it used to restart with same arguments as it was started for the first time. Any change done by the user manually or by any touchpoint
+ to eclipse.ini
was not considered on restart and user had to exit the Eclipse and start it again from launcher to make
+ the eclipse.ini
changes effective.
+
+ Now Eclipse launcher is enhanced to reload Eclipse configuration files on restarts, hence any change done in eclipse.ini
gets
+ effective on restart. Any arguments mentioned by the user to Eclipse launcher are still kept effective on restarts. However, if the restart
+ command provided by Eclipse contains --launcher.skipOldUserArgs
argument then the user provided arguments to launcher are ignored.
+