MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

rename buffer should not be for the whole text component (IDEA-81625): thanks Peter

Browse Source
This commit is contained in:
anna
2012-02-20 18:27:19 +01:00
parent 216e15280e
commit aad89afdcb
1 changed files with 16 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/editor/impl/EditorImpl.java
+16 -8
View File
@@ -1659,19 +1659,27 @@ public final class EditorImpl extends UserDataHolderBase implements EditorEx, Hi
}
public void stopDumb() {
putUserData(BUFFER, null);
final Runnable stopDumbRunnable = new Runnable() {
@Override
public void run() {
putUserData(BUFFER, null);
}
};
ApplicationManager.getApplication().invokeLater(stopDumbRunnable, ModalityState.current());
}
/**
* {@link #stopDumb()} must be performed in finally
* {@link #stopDumb} must be performed in finally
*/
public void startDumb() {
final EditorComponentImpl component = getContentComponent();
final Dimension dimension = component.getSize();
BufferedImage image = new BufferedImage(dimension.width, dimension.height, BufferedImage.TYPE_INT_RGB);
final Rectangle rect = component.getVisibleRect();
BufferedImage image = new BufferedImage(rect.width, rect.height, BufferedImage.TYPE_INT_RGB);
final Graphics2D graphics = image.createGraphics();
graphics.setClip(0, 0, dimension.width, dimension.height);
graphics.translate(-rect.x, -rect.y);
graphics.setClip(rect.x, rect.y, rect.width, rect.height);
paint(graphics);
graphics.translate(rect.x, rect.y);
putUserData(BUFFER, image);
}
@@ -1685,9 +1693,9 @@ public final class EditorImpl extends UserDataHolderBase implements EditorEx, Hi
if (Registry.is("editor.dumb.mode.available")) {
final BufferedImage buffer = getUserData(BUFFER);
if (buffer != null) {
final Point point = new Point(clip.x, clip.y);
SwingUtilities.convertPointFromScreen(point, getContentComponent());
g.drawImage(buffer, null, 0, 0);
g.setClip(clip.x, clip.y, buffer.getWidth(), buffer.getHeight());
final Rectangle rect = getContentComponent().getVisibleRect();
g.drawImage(buffer, null, rect.x, rect.y);
return;
}
}