Summary: | "Auto hide" messages option | ||
---|---|---|---|
Product: | [Applications] kdevelop | Reporter: | Alexandros Karypidis <karypid> |
Component: | kdevelop 2.x (obsolete) | Assignee: | KDevelop-Devel List <kdevelop-devel> |
Status: | RESOLVED WORKSFORME | ||
Severity: | wishlist | ||
Priority: | NOR | ||
Version: | 3.0.0a3 | ||
Target Milestone: | --- | ||
Platform: | openSUSE | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: | ||
Sentry Crash Report: |
Description
Alexandros Karypidis
2002-11-05 15:17:50 UTC
I agree to this and I think it could be even cleverer. Let me put it in a way that everybody understands: if (Before compile command: bottom view where visible) { if (messages active) compile else { store current active view (problems or debugger or valgrid .....) activate messages view compile If (no compilation errors) restore the previous active view } } else { make bottom view where visible activate messages view compile If (no compilation errors) hide bottom view } How do you like it???? Amilcar Lucas Subject: Re: "Auto hide" messages option It seems like the "ideal" behavior. Well, for me at least... :-P On Friday 28 March 2003 12:46, you wrote: > ------- You are receiving this mail because: ------- > You reported the bug, or are watching the reporter. > > http://bugs.kde.org/show_bug.cgi?id=50234 > > > > > ------- Additional Comments From a.lucas@tu-bs.de 2003-03-28 11:46 ------- > I agree to this and I think it could be even cleverer. > > Let me put it in a way that everybody understands: > > if (Before compile command: bottom view where visible) { > if (messages active) > compile > else { > store current active view (problems or debugger or valgrid .....) > activate messages view > compile > If (no compilation errors) > restore the previous active view > } > } > else { > make bottom view where visible > activate messages view > compile > If (no compilation errors) > hide bottom view > } > > How do you like it???? > Amilcar Lucas Implemented in CVS. Please close whish. Thanks! Always getting better... |