Fix bug 202344 (which was not fully fixed by the previous change.)

This commit is contained in:
nboyd%atg.com 2003-04-21 19:43:45 +00:00
Родитель c594f1a026
Коммит 09fe5de968
1 изменённых файлов: 17 добавлений и 9 удалений

Просмотреть файл

@ -432,8 +432,6 @@ class FileTextArea extends JTextArea implements ActionListener,
}
public void mouseReleased(MouseEvent e) {
checkPopup(e);
requestFocus();
getCaret().setVisible(true);
}
private void checkPopup(MouseEvent e) {
@ -756,29 +754,39 @@ class FindFunction extends JDialog implements ActionListener {
};
class FileHeader extends JPanel implements MouseListener {
private int pressLine = -1;
FileWindow fileWindow;
public void mouseEntered(MouseEvent e) {
}
public void mousePressed(MouseEvent e) {
Font font = fileWindow.textArea.getFont();
FontMetrics metrics = getFontMetrics(font);
int h = metrics.getHeight();
pressLine = e.getY() / h;
}
public void mouseClicked(MouseEvent e) {
}
public void mouseExited(MouseEvent e) {
}
public void mouseReleased(MouseEvent e) {
if (e.getComponent() == this &&
(e.getModifiers() & MouseEvent.BUTTON1_MASK) != 0) {
(e.getModifiers() & MouseEvent.BUTTON1_MASK) != 0)
{
int x = e.getX();
int y = e.getY();
Font font = fileWindow.textArea.getFont();
FontMetrics metrics = getFontMetrics(font);
int h = metrics.getHeight();
int line = y/h;
fileWindow.toggleBreakPoint(line + 1);
if (line == pressLine) {
fileWindow.toggleBreakPoint(line + 1);
}
else {
pressLine = -1;
}
}
}
public void mouseExited(MouseEvent e) {
}
public void mouseReleased(MouseEvent e) {
}
FileHeader(FileWindow fileWindow) {
this.fileWindow = fileWindow;