[prev in list] [next in list] [prev in thread] [next in thread] 

List:       kwrite-devel
Subject:    Re: Inline widgets in the editor view
From:       Aleix Pol <aleixpol () kde ! org>
Date:       2014-06-10 16:01:26
Message-ID: CACcA1RqGXoBZjj09rTmRMKCxXc9nsmQ2vzmyuW5-1qvMUU0SVg () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


On Mon, Jun 9, 2014 at 10:48 AM, Kevin Funk <kfunk@kde.org> wrote:

> Hey guys,
>
> Working a bit with Coverity (static analysis tool, [1]) lately, I've come
> across this nice way [2] of reporting errors. Xcode has a similar way of
> reporting errors [3].
>
> I think, having some basic infrastructure for displaying this kind of
> inline
> widgets would be beneficial not just for KDevelop land.
>
> How hard would it be implement something like that for Kate?
>
> Obvious advantages of these inline widgets compared to other solutions:
> * Information text is close to the range it's attached to
> * The widget doesn't hide other editor contents
>   (as opposed to some tooltip solution)
> * No user interaction required to retrieve the information text
>   (it's always there)
>
> Greets
>
> [1] http://www.coverity.com/
> [2] http://security.coverity.com/static/media/img/goto-fail.png
> [3]
> http://richarddingwall.name/wp-content/uploads2/2008/06/xcode-build-error.png
>
> --
> Kevin Funk
> _______________________________________________
> KWrite-Devel mailing list
> KWrite-Devel@kde.org
> https://mail.kde.org/mailman/listinfo/kwrite-devel
>

What about only coloring the line and add the first line aligning it to the
left? This way it wouldn't break the static line size height and the whole
view won't bounce when you get new messages. We could have it expand on
mouse hover.

Aleix

[Attachment #5 (text/html)]

<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Jun 9, 2014 \
at 10:48 AM, Kevin Funk <span dir="ltr">&lt;<a href="mailto:kfunk@kde.org" \
target="_blank">kfunk@kde.org</a>&gt;</span> wrote:<br><blockquote \
class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc \
solid;padding-left:1ex">

Hey guys,<br>
<br>
Working a bit with Coverity (static analysis tool, [1]) lately, I&#39;ve come<br>
across this nice way [2] of reporting errors. Xcode has a similar way of<br>
reporting errors [3].<br>
<br>
I think, having some basic infrastructure for displaying this kind of inline<br>
widgets would be beneficial not just for KDevelop land.<br>
<br>
How hard would it be implement something like that for Kate?<br>
<br>
Obvious advantages of these inline widgets compared to other solutions:<br>
* Information text is close to the range it&#39;s attached to<br>
* The widget doesn&#39;t hide other editor contents<br>
   (as opposed to some tooltip solution)<br>
* No user interaction required to retrieve the information text<br>
   (it&#39;s always there)<br>
<br>
Greets<br>
<br>
[1] <a href="http://www.coverity.com/" \
target="_blank">http://www.coverity.com/</a><br> [2] <a \
href="http://security.coverity.com/static/media/img/goto-fail.png" \
target="_blank">http://security.coverity.com/static/media/img/goto-fail.png</a><br> \
[3] <a href="http://richarddingwall.name/wp-content/uploads2/2008/06/xcode-build-error.png" \
target="_blank">http://richarddingwall.name/wp-content/uploads2/2008/06/xcode-build-error.png</a><br>
 <span class="HOEnZb"><font color="#888888"><br>
--<br>
Kevin Funk<br>
_______________________________________________<br>
KWrite-Devel mailing list<br>
<a href="mailto:KWrite-Devel@kde.org">KWrite-Devel@kde.org</a><br>
<a href="https://mail.kde.org/mailman/listinfo/kwrite-devel" \
target="_blank">https://mail.kde.org/mailman/listinfo/kwrite-devel</a><br> \
</font></span></blockquote></div><br></div><div class="gmail_extra">What about only \
coloring the line and add the first line aligning it to the left? This way it \
wouldn&#39;t break the static line size height and the whole view won&#39;t bounce \
when you get new messages. We could have it expand on mouse hover.</div>

<div class="gmail_extra"><br></div><div class="gmail_extra">Aleix</div></div>



_______________________________________________
KWrite-Devel mailing list
KWrite-Devel@kde.org
https://mail.kde.org/mailman/listinfo/kwrite-devel


[prev in list] [next in list] [prev in thread] [next in thread]