Re: [platform-ui-dev] Changes to the Editors preference page

[Mickael Istria <mistria@xxxxxxxxxx>]

Hi Stefan,

It seems like I'm confused by the purpose of this change and that some of my comments were/are not accurate. Anyway, I'll try to be more precise.

On 03/14/2016 07:59 PM, Stefan Xenos wrote:

The preference I'm talking about has nothing to do with the history stack and the back button. The history stack is based on editor inputs and it works just as well even if you enable the "close automatically" preference and set the number of editors to 1.
1. That it would cause editors to disappear unexpectedly. Response: The editors we're talking about have already disappeared from the tabs. If you're not referring to the tabs, please state specifically which part of the UI you expected to see the editor in but could not find it.

I'm not using the history stack, I'm really using the order of tabs (open editor in my understanding) as a history. I also do it in Firefox and all other tabbed applications. In Firefox, I would hate to see tab disappear or page closed automatically. I have the same feeling with the IDE.
However, I actually do not care if there is actually an editor "active" for a tab that doesn't have focus: if the editor is disposed when I don't use it and re-instantiated when I select the tab, that's fine. I'm actually attached to nothing automatic happening to the tabs, not much about how and when the content of the editor is disposed/created.

3. That there is actually no performance problem if you have a large number of realized editors. Response: Confirmed via profiler output, end-user reports, and static analysis of the code involved.

Ok, I trust you. It's just that I don't feel it at usage. Maybe because I'm just accustomed to it.

--
Mickael Istria
Eclipse developer at JBoss, by Red Hat
My blog - My Tweets