54 |
|
|
55 |
void initializeInsets () |
void initializeInsets () |
56 |
{ |
{ |
57 |
// Unfortunately, X does not provide a clean way to calculate the |
synchronized (latestInsets) |
58 |
// dimensions of a dialog's borders before it has been displayed. |
{ |
59 |
// So we guess and then fix the dimensions upon receipt of the |
insets = new Insets (latestInsets.top, |
60 |
// first configure event. |
latestInsets.left, |
61 |
insets = new Insets (20, 6, 6, 6); |
latestInsets.bottom, |
62 |
|
latestInsets.right); |
63 |
|
} |
64 |
} |
} |
65 |
|
|
66 |
void create () |
void create () |