[DrJava] [ drjava-Bugs-931088 ] resize thumb covers corner of OS X window

[SourceForge.net <no...@so...>]

Bugs item #931088, was opened at 2004-04-07 07:32
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=931088&group_id=44253

Category: UI: MacOS X-specific
Group: Ugly
Status: Open
Resolution: None
Priority: 5
Submitted By: Hal Perkins (hperkins)
Assigned to: Nobody/Anonymous (nobody)
Summary: resize thumb covers corner of OS X window

Initial Comment:
In OS X, the resize thumb in the lower-right corner hides 
something like a 15x15 rectangle of whatever is drawn in that 
corner.  It can be seen in DrJava itself, where the editor's column 
number is partially hidden.  Here's a simple test case that also 
shows it:

import java.awt.*;
import javax.swing.*;

public class TestPanel extends JPanel { 
  public void paintComponent(Graphics g) {
    super.paintComponent(g);
    g.setColor(Color.green);
    g.fillOval(0,0,50,50);
    g.fillOval(getWidth()-30, getHeight()-30, 30, 30);
  }
}

Do the following in the interactions window to demonstrate:

import java.awt.*;
import javax.swing.*;
JFrame f = new JFrame();
TestPanel t = new TestPanel();
t.setPreferredSize(new Dimension(200,200));
f.getContentPane().add(t);
f.pack();
f.setVisible(true);

I'm not sure if there's an easy fix, since this might be a "feature" 
of OS X's implementation of JFrame.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=931088&group_id=44253