My 2c worth below.<br><br><div class="gmail_quote">On 13 May 2010 09:54, Colomban Wendling <span dir="ltr"><<a href="mailto:lists.ban@herbesfolles.org">lists.ban@herbesfolles.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hi,<br>
<br>
I would like to add the possibility for new editor's tabs to be added<br>
before/after the current tab, since I'm often annoyed by tabs added far<br>
from my working one. This is quite easy to do, but I have some questions<br>
about how to make this a preference.<br>
<br></blockquote><div><br>Personally I prefer it to come up in a fixed position, but thats why its controlled by a preference :-)<br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Currently, the tab positioning (before/after all other tabs) is controlled<br>
by the boolean preference tab_order_ltr. Fine, but not to extend it. Then,<br>
I see two ways to go:<br>
1. Change this to an integer (or something) that represent an enumeration:<br>
before all, before current, after all, after current.<br>
2. Add a second preference to choose whether the tabs are added<br>
before/after the current or all tabs.<br>
<br>
I think that 1 is probably a little better from the user's point of view<br>
(not sure), but it would probably be a pain to implement, because it would<br>
need to change the type of a preference... the problem is to keep<br>
compatibility with previous configuration version.<br>
<br>
2 is then probably the way to go; </blockquote><div><br>Agreed<br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">the pref UI could even hide the<br>
complexity. But then, some question comes to my mind:<br>
a. Which name give to this preference?<br></blockquote><div><br>tab_order_beside then tab_order_ltr says which side.<br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
b. How to show it to the user?<br></blockquote><div><br>Placement of new tabs: X at end X beside current<br> X left X right<br><br>But then not everyone likes my UI designs :-)<br>
</div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
Then as usual, I ask for your wise answers :)<br>
And as a bonus question, what do you think of the feature?<br></blockquote><div><br>Not for me, but if it annoys you enough to do it, why not.<br><br>Cheers<br>Lex<br> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
<br>
Thanks!<br>
<font color="#888888">Colomban<br>
</font><br>
<br>
PS: I join a proposed implementation that lacks the preference but works<br>
fine (as far as I can think/say/see).<br>_______________________________________________<br>
Geany-devel mailing list<br>
<a href="mailto:Geany-devel@uvena.de">Geany-devel@uvena.de</a><br>
<a href="http://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel" target="_blank">http://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel</a><br>
<br></blockquote></div><br>