tree c5b5b351257213910638875d510409ec0f5f3b24
parent 3aab8f92c535b15a942a34359abe1c3d346cb7e7
author Andrey Loskutov <loskutov@gmx.de> 1423955687 +0100
committer Andrey Loskutov <loskutov@gmx.de> 1425112759 +0100

Bug 388476 - [EditorMgmt] Editor tab management lost "working set" (MRU)
functionality

Introduced global switch to control if CSS (themes) or preferences
(user) are controlling the MRU functionality. Per default MRU behavior
is controlled by preferences now, independently what the CSS themes
says, so that switching CSS themes does not affect the actual MRU value.

3 preferences for the "org.eclipse.e4.ui.workbench.renderers.swt"
instance are added:

 - "mruControlledByCSS":  if the "most recently used" behavior should be
controlled via CSS or preferences. Default will be "false" now.

 - "enableMruDefault": what should be considered as default MRU value if
this is controlled by preferences. Default will be "true" now.

 - "enableMru": what should be considered as actual MRU value. This
preference can be changed by user if the "mruControlledByCSS" is
"false".

Only the last preference is exposed to users by new "Enable most
recently used order for tab placement" checkbox on the
"General->Appearance" page. The default value is "true" and corresponds
to the "enableMruDefault" preference above. If "mruControlledByCSS" is
"true", this checkbox is not visible to user.

Important: if product owners want to keep on current behavior, they can
revert the effect of all proposed changes by specifying
"mruControlledByCSS=true" in the  plugin_customization.ini.

For details on proposed solution see bug 388476 comment 120.

Change-Id: Ie1b08df20aa60f52ef500ff7bda49b9b18c1ddbb
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>