Hi,

I ran into this bug too, and I think it has something to do with the
size of my screen... probably being too small.  It is 1024x768.

If I commented out the following line, it started, but the GUI was not
very friendly, so I'm assuming some more GUI and resizing work is
needed beyond this patch.

Maybe pass this information on to upstream?

Thanks,
- Chris


diff -ru carmetal-2.9.8.2/src/eric/JPalette.java 
carmetal-2.9.8.2-cdf/src/eric/JPalette.java
--- carmetal-2.9.8.2/src/eric/JPalette.java     2009-02-12 05:46:27.000000000 
-0500
+++ carmetal-2.9.8.2-cdf/src/eric/JPalette.java 2012-05-11 00:11:47.000000000 
-0400
@@ -46,7 +46,7 @@
 //            x=location.x;
 //            
y=Zirkel.SCREEN.y+Zirkel.SCREEN.height-JPM.MainPalette.getPreferredSize().height;
 //            pressed=me;
-            MW.JPM.CollapseToFitScreenHeight(null);
+//            MW.JPM.CollapseToFitScreenHeight(null);
         }
 
         



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to