<br><div><br class="Apple-interchange-newline">Sorry for the delay in responding, somehow the mail didn't get marked as new and I only just noticed it.</div><div><br></div><div class="gmail_quote">On 14 September 2012 03:15, Dimitar Zhekov <span dir="ltr"><<a href="mailto:dimitar.zhekov@gmail.com" target="_blank">dimitar.zhekov@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Wed, 12 Sep 2012 11:35:48 +1000<br>
Lex Trotman <<a href="mailto:elextr@gmail.com">elextr@gmail.com</a>> wrote:<br>
<br>
> [...]<br>
> > So what should geany.conf contain? If the interface preferences remain<br>
> > there, we still must "rush at quit time" to save it...<br>
><br>
> Getting buried in specifics far too early, need to get the principles<br>
> right first, but in general "interface" things that are changed<br>
> rarely, like window layouts, would be in geany.conf, things like<br>
> search data is definitely session. I'm sure there is more discussion<br>
> here :)<br>
<br>
</div>Since it's an early discussion, I have a proposition for something I<br>
always wanted to have in the other IDE-s: several sessions per project.<br></blockquote><div><br></div><div>Well, if sessions and projects are separated then it might be a useful extension.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
For example, currently I have one project for Geany sm, another for<br>
regenerating my patches (the ones in sf patch tracker except sm, plus<br>
some others), and I usually open another (temporary) project when<br>
working on something else. Aside from the session, these projects are,<br>
and must be, absolutely identical. So:<br>
<br>
The project menu contains a "Sessions" item, which displays a dialog to<br>
add/remove/switch to a session.<br>
<br>
Each new project starts with a Default session, which can not be<br>
deleted.<br>
<br>
Whoever prefers a project for each session can simply ignore "Sessions".<br>
<br>
Possible storage:<br>
<br>
$project.geany contains an UUID.<br>
<br>
$confdir/UUID contains a list of names sessions and the interface<br>
options, including the current session name.<br></blockquote><div><br></div><div>Apart from having an intermediate link file between projects and sessions making an extra step, what is the difference between this implementation and the one I originally proposed? The one that you said was too complex, even before you added the intermediate step? :)</div>
<div><br></div><div>For those following along at home, the problem is how to find the session file(s) when the project is opened, without saving the path in the project file. Any alternate ideas welcome.</div><div> </div>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
The larger a project, the more useful several sessions will be.<br>
<br>
I'm not sure about several project-less sessions. It will be somewhat<br>
confusing - should I use a project, or only a session? - but OTOH, the<br>
line between projects and sessions will be drawn once and for all: a<br>
project has it's own set of options, while a session is simply a set<br>
of files.<br></blockquote><div><br></div><div>Thats certainly another way of looking at it, yes. Makes it simple to implement and understand. But I bet it won't last :)</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
RFC.<br>
<div class="im"><br>
> > (Note: the project files currectly contain the settings from Project -><br>
> > Properties and a session, but no "interface" options. The plugins can<br>
> > only place their own settings in the projects either, except by using<br>
> > the Project -> Properties dialog.)<br>
><br>
> Plugins access to the project files is another discussion.<br>
<br>
</div>They must be discussed at some later point, we have "save-settings" and<br>
"project-save".<br></blockquote><div><br></div><div>I guess plugins can still access project files, but either they can't access session files (preferred initial position until someone needs it) or another signal is needed.</div>
<div><br></div><div>Cheers</div><div>Lex</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="HOEnZb"><div class="h5"><br>
--<br>
E-gards: Jimmy<br>
_______________________________________________<br>
Geany-devel mailing list<br>
<a href="mailto:Geany-devel@uvena.de">Geany-devel@uvena.de</a><br>
<a href="https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel" target="_blank">https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel</a><br>
</div></div></blockquote></div><br>