public void onClose() {
container.removeComponentListener(componentListener);
editor.getDocument().removeDocumentListener(documentListener);
configService.remove(configChangeListener);
editor.getScrollingModel().removeVisibleAreaListener(this);
editor.getSelectionModel().removeSelectionListener(selectionListener);
removeMouseWheelListener(mouseWheelListener);
removeMouseListener(mouseListener);
removeMouseMotionListener(mouseListener);
componentListener = null;
documentListener = null;
configChangeListener = null;
mouseListener = null;
}
public GlancePanel(Project project, FileEditor fileEditor, JPanel container, TaskRunner runner) {
this.runner = runner;
this.editor = ((TextEditor) fileEditor).getEditor();
this.container = container;
this.project = project;
container.addComponentListener(
componentListener =
new ComponentAdapter() {
@Override
public void componentResized(ComponentEvent componentEvent) {
updateSize();
GlancePanel.this.revalidate();
GlancePanel.this.repaint();
}
});
editor
.getDocument()
.addDocumentListener(
documentListener =
new DocumentAdapter() {
@Override
public void documentChanged(DocumentEvent documentEvent) {
updateImage();
}
});
configService.add(
configChangeListener =
new ConfigChangeListener() {
@Override
public void configChanged() {
readConfig();
updateImage();
updateSize();
GlancePanel.this.revalidate();
GlancePanel.this.repaint();
}
});
addMouseWheelListener(mouseWheelListener);
readConfig();
editor.getScrollingModel().addVisibleAreaListener(this);
editor
.getSelectionModel()
.addSelectionListener(
selectionListener =
new SelectionListener() {
@Override
public void selectionChanged(SelectionEvent selectionEvent) {
repaint();
}
});
addMouseListener(mouseListener);
addMouseMotionListener(mouseListener);
updateSize();
for (int i = 0; i < Array.getLength(minimaps); i++) {
minimaps[i] = new Minimap(configService.getState());
}
updateImage();
}
private void readConfig() {
config = configService.getState();
coords.setPixelsPerLine(config.pixelsPerLine);
viewportColor = Color.decode("#" + config.viewportColor);
}
