On Mon, 17 Jun 2002 16:27:56 +0300
Elisheva Alexander <eli7-NOSPAM@cs.huji.ac.il> remarque astucieusement:
> Hello,
>
> At my university we are considering giving the CTWM manager as the default
> window manager to the students instead of KDE (this is because it is very
> popular among the systems people, and KDE is not).
>
> However, while testing it with some Java IDEs like jbuilder, blueJ, and jedi,
> we noticed that the bottom & right part of the window is not always drawn
> correctly. (see http://www.cs.huji.ac.il/~eli7/ctwm/jedi.gif )
>
> This does not sound like a window manager problem, yet it does not occure with
> other window managers (well, at least with KDE).
>
> has anyone encountered this besides us?
>
> the java version is: 1.3.1
> ctwm is 3.6.
>
I downloaded Jedi to have a try, but I was not able to reproduce the problem. Can you
send me your .ctwmrc file, and the result of xprop on the Jedi window ?
Claude.
-- Claude Lecommandeur Claude.Lecommandeur@Epfl.Ch EPFL - SIC +41 21 693 22 97 1015 Lausanne (Switzerland) http://slwww.epfl.ch/SIC/SL/info/Claude.htmlThis signature intentionally left boring.
This archive was generated by hypermail 2.1.2 : Sat Jun 22 2002 - 06:45:06 CEST