<div dir="auto"><div>Hi Christoph,</div><div dir="auto"><br></div><div dir="auto">please do so. Especially QTreeWidget should not be used anymore since it ties the data model to QWidget code. It's always better to use QTreeView + separate model. So from my point of view: +1</div><div dir="auto"><br></div><div dir="auto">Thanks</div><div dir="auto">Dominik<br><br><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr">Christoph Cullmann <<a href="mailto:christoph@cullmann.io">christoph@cullmann.io</a>> schrieb am Fr., 19. Juli 2019, 21:11:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
> I pushed a few more commits with minor fixes and some refinements on<br>
> the diagnostics (jump list).  In particular, the list (selection)<br>
> should now also sync to the view (position).  So switching to another<br>
> view/document should scroll the relevant diagnostics into view, and<br>
> when positioned on a line with diagnostics, then that diagnostic will<br>
> be selected.  The latter is also (already previously) the case when<br>
> clicking on the border-icon mark.<br>
<br>
Nice.<br>
<br>
I would like to work a bit on the symbols views.<br>
<br>
A colleague mentioned it would be nice to have a filter like for the <br>
projects<br>
view. To make this "easy" feasible, I would convert the QTreeWidget code <br>
to use<br>
QTreeView and some model, perhaps even directly letting the LSPServer <br>
part<br>
create a usable QStandardItemModel for the symbols information.<br>
<br>
Would that be ok for you?<br>
<br>
> <br>
> Albeit with this minor detour/delay, next on to the preparation for<br>
> handling document revisions, TextEdit, etc (or anything else that pops<br>
> up in between .... ).<br>
:=) Cool!<br>
<br>
Greetings<br>
Christoph<br>
<br>
-- <br>
Ignorance is bliss...<br>
<a href="https://cullmann.io" rel="noreferrer noreferrer" target="_blank">https://cullmann.io</a> | <a href="https://kate-editor.org" rel="noreferrer noreferrer" target="_blank">https://kate-editor.org</a><br>
</blockquote></div></div></div>