<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On 12 November 2013 02:45, Pavel Roschin <span dir="ltr"><<a href="mailto:roshin@scriptumplus.ru" target="_blank">roshin@scriptumplus.ru</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">> 5. Drop Scintilla and use GtkSourceView. I'll just enumerate the reasons<br>
> that come to mind, in no particular order:<br>
<br>
</div>But does this mean that some Sci-features are going to pass away? E.g. scintilla<br>
supports multiple selections and, gap buffer, multiple gaps, inline styling<br>
(e.g. spellcheck, mark words) that I never seen in gedit/mousepad.<br>
<br></blockquote><div><br></div><div>Hi Pavel,</div><div><br></div><div>My intention in starting this thread was to try to get some overall design going for the purposes of *adding* big features that would be hard to do now,  I assumed that retaining all existing Geany features was a given.  So unless somebody can show that an existing feature is **really** unused then any design we reach needs to end up being able to support the same features, though maybe not implemented in the same way.</div>
<div><br></div><div>If the editing widget is changed the same capabilities need to be possible, though maybe not implemented in the same way.  The cost of re-implementing anything would be factored against whatever benefits a new widget might bring.</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">
--<br>
Best regards,<br>
Pavel Roschin aka RPG<br>
<div class="HOEnZb"><div class="h5">_______________________________________________<br>
Devel mailing list<br>
<a href="mailto:Devel@lists.geany.org">Devel@lists.geany.org</a><br>
<a href="https://lists.geany.org/cgi-bin/mailman/listinfo/devel" target="_blank">https://lists.geany.org/cgi-bin/mailman/listinfo/devel</a><br>
</div></div></blockquote></div><br></div></div>