<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">Hi,<br>
<br>
I've encountered a similar problem in Kile:<br>
<a class="moz-txt-link-freetext" href="https://bugs.kde.org/show_bug.cgi?id=314580">https://bugs.kde.org/show_bug.cgi?id=314580</a><br>
<br>
Perhaps it can give you some hints as to how to reproduce the
bug...<br>
<br>
Cheers,<br>
Yngve<br>
<br>
On 29. april 2013 02:04, Aleix Pol wrote:<br>
</div>
<blockquote
cite="mid:CACcA1RqA8rjVC7GRzUUeJQyaQioqoSty5Q5VnA4=Opacbu3wtA@mail.gmail.com"
type="cite">
<div dir="ltr">Yes, please.
<div><br>
</div>
<div>Thanks!</div>
<div>Aleix</div>
</div>
<div class="gmail_extra"><br>
<br>
<div class="gmail_quote">On Sun, Apr 28, 2013 at 7:55 PM,
Karsten Ahnert <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:karsten.ahnert@gmx.de" target="_blank">karsten.ahnert@gmx.de</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">Ok, should
I fill a bug report?<br>
<span class="HOEnZb"><font color="#888888"><br>
Karsten<br>
</font></span>
<div class="HOEnZb">
<div class="h5"><br>
On 04/28/2013 10:33 AM, Niko Sams wrote:<br>
> I have seen this behavior, but have never looked
into details as it<br>
> never happened on my machine.<br>
><br>
> Niko<br>
><br>
> On Sat, Apr 27, 2013 at 10:56 AM, Karsten Ahnert
<<a moz-do-not-send="true"
href="mailto:karsten.ahnert@gmx.de">karsten.ahnert@gmx.de</a>>
wrote:<br>
>> Hi,<br>
>><br>
>> I recently tried kdevelop. I really like it.
There is only one small<br>
>> problem: The editor menu disappears from time
to time. Usually it is<br>
>> present at startup but vanishs after editing
some file. I have not found<br>
>> a deterministic way to reproduce this
behaviour.<br>
>><br>
>> Any ideas? Have others observed similar
behaviour? Is there a simple<br>
>> workaround?<br>
>><br>
>> Thanks,<br>
>><br>
>> Karsten<br>
>><br>
>> P.S. I use the current version from the git.<br>
>> _______________________________________________<br>
>> KDevelop mailing list<br>
>> <a moz-do-not-send="true"
href="mailto:KDevelop@kde.org">KDevelop@kde.org</a><br>
>> <a moz-do-not-send="true"
href="https://mail.kde.org/mailman/listinfo/kdevelop"
target="_blank">https://mail.kde.org/mailman/listinfo/kdevelop</a><br>
><br>
<br>
_______________________________________________<br>
KDevelop mailing list<br>
<a moz-do-not-send="true" href="mailto:KDevelop@kde.org">KDevelop@kde.org</a><br>
<a moz-do-not-send="true"
href="https://mail.kde.org/mailman/listinfo/kdevelop"
target="_blank">https://mail.kde.org/mailman/listinfo/kdevelop</a><br>
</div>
</div>
</blockquote>
</div>
<br>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
KDevelop mailing list
<a class="moz-txt-link-abbreviated" href="mailto:KDevelop@kde.org">KDevelop@kde.org</a>
<a class="moz-txt-link-freetext" href="https://mail.kde.org/mailman/listinfo/kdevelop">https://mail.kde.org/mailman/listinfo/kdevelop</a>
</pre>
</blockquote>
<br>
</body>
</html>