What is "problems" plugin?

[leonp at plris.com]

On Thursday, 7 בJuly 2005 18:12, David Ohlemacher wrote:
> Hi Leon,
>
> For the tool you want to move:
>
>     * Make the tool appear; that is make it so you can see the contents
>       of the automake manager.
>     * At the top of it, you'll see a bar of
>       ///////////////////////////////////////////////
>     * Drag that bar to the left.  You'll see the outline of the tool in
>       places where you can drop it, top, bottom, right, or left.
Great!! It worked! Thanks a lot!

But still, I am curious, what is "problems" plugin? It is always empty...


>
> leonp at plris.com wrote:
> >On Friday, 1 בJuly 2005 22:25, Jens Dagerbo wrote:
> >>On Thursday 30 June 2005 13:56, leonp at plris.com wrote:
> >>>Hello, all.
> >>>	I shall be thankfull for the answers to the following (Kdevelop 3.2.1
> >>> in IDEAI mode on FC3):
> >>>
> >>>1. What is "problems" plugin, how to use it and how to delete it (if not
> >>>needed) from project's plugins? I do not see it it projects plugins
> >>> list.
> >>
> >>It's an integral part of the language support plugin, not a seperate
> >>plugin. In other words, there is currently no way for you to disable it.
> >>Hopefully, this can be changed in KDevelop4
> >
> >OK, understood. Thanks for clarification.
> >
> >>>2. How to move plugin's tabs from one side to some other? For example,
> >>>the bottom tab collection (I don't know how is it called correctly:-) is
> >>>full, but the right one is almost empty (only snippet and automake).
> >>
> >>Drag and drop should do it. :)
> >
> >Hmm... Should but did not. Or I don't know how to do this...:-)
> >Anyway, I tried to drag it but was not able. Any specific type of
> > dragging?
> >
> >Thanks a lot for reply.
>
> -
> to unsubscribe from this list send an email to
> kdevelop-request at kdevelop.org with the following body: unsubscribe
> »your-email-address«

-- 
Dr.Leon M.Pollak
Director
PLR Information Systems Ltd.

-
to unsubscribe from this list send an email to kdevelop-request at kdevelop.org with the following body:
unsubscribe »your-email-address«