Re: [ jEdit-devel ] View persistence between jEdit invocations

[Matthieu C. <cho...@gm...>]

Hi, it is done in
jEdit.finishStartup():

PerspectiveManager.loadPerspective(restoreFiles);

It loads a xml file containing everything needed to reload. But I think
there is no View id to identify the views.

Le Mer 24 août 2016, à 07:52, Edward Diener a écrit :
> If I have more than one view open in jEdit when I close jEdit, when I 
> reopen jEdit the same views are recreated. What does jEdit use for view 
> persistence ?
> 
> I do not see in the org.gjt.sp.jedit.View class any field value that can 
> be used to identify a view in a persistent manner.
> 
> Are views just re-opened in the same order each time in order to 
> recreate them when jEdit is reopened.
> 
> The problem I am trying to solve is in a plugin in which I am working 
> where a persistent value is associated with a view when jEdit is 
> running. This is easy enough to do using Java mapping during runtime 
> between some runtime persistent value, a string in this case, and a View 
> object. But if I have to associate that same string with the same 
> essential View object when jEdit is restarted I do not know how to do it 
> correctly unless the View object has some persistent value that remains 
> the same between jEdit invocations.
> 
> The current code assumes that views are created in the same order in 
> which they exist each time jEdit is restarted. But I do not think this 
> is necessarily the case and am looking for a better, persistent way in 
> identifying the same View each time. Any help I can get from jEdit 
> programmers in this matter would be appreciated.
> 
> 
> ------------------------------------------------------------------------------
> -- 
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel


-- 
  Matthieu Casanova
  cho...@gm...