|
From: Matthieu C. <cho...@gm...> - 2016-08-24 12:31:40
|
Hi, Le Mer 24 août 2016, à 14:28, Edward Diener a écrit : > How does jEdit know how many and which views to create when it restarts ? In the settings folder there is a file perspective.xml it looks like this <?xml version="1.0" encoding="UTF-8" ?> <!DOCTYPE PERSPECTIVE SYSTEM "perspective.dtd"> <PERSPECTIVE> <BUFFER AUTORELOAD="TRUE" AUTORELOAD_DIALOG="TRUE">D:\Program Files\jEdit\jEdit.url</BUFFER> <BUFFER AUTORELOAD="TRUE" AUTORELOAD_DIALOG="TRUE">D:\Program Files\jEdit\test.xml</BUFFER> <VIEW PLAIN="FALSE"> <PANES> "D:\\Program Files\\jEdit\\test.xml" buffer "D:\\Program Files\\jEdit\\jEdit.url" buff "D:\\Program Files\\jEdit\\test.xml" buff "global" bufferset </PANES> <GEOMETRY X="2093" Y="102" WIDTH="1147" HEIGHT="944" EXT_STATE="0" /> </VIEW> <VIEW PLAIN="FALSE"> <PANES> "D:\\Program Files\\jEdit\\test.xml" buffer "D:\\Program Files\\jEdit\\jEdit.url" buff "D:\\Program Files\\jEdit\\test.xml" buff "global" bufferset </PANES> <GEOMETRY X="2093" Y="102" WIDTH="1147" HEIGHT="944" EXT_STATE="6" /> </VIEW> </PERSPECTIVE> and contains the information about views & buffers -- Matthieu Casanova cho...@gm... |