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

generified

Browse Source
This commit is contained in:
Gregory.Shrago
2014-10-16 03:37:31 +04:00
parent ed2be53d72
commit 2f0a28b212
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-api/src/com/intellij/ui/components/JBViewport.java
+1 -1
View File
@@ -128,7 +128,7 @@ public class JBViewport extends JViewport implements ZoomableViewport {
@Override
public Magnificator getMagnificator() {
JComponent view = (JComponent)getView();
return view != null ? (Magnificator)view.getClientProperty(Magnificator.CLIENT_PROPERTY_KEY) : null;
return view != null ? UIUtil.getClientProperty(view, Magnificator.CLIENT_PROPERTY_KEY) : null;
}
@Override
platform/platform-api/src/com/intellij/ui/components/Magnificator.java
+1 -1
View File
@@ -24,6 +24,6 @@ import com.intellij.openapi.util.Key;
import java.awt.*;
public interface Magnificator {
Key CLIENT_PROPERTY_KEY = Key.create("MagnifiableComponent");
Key<Magnificator> CLIENT_PROPERTY_KEY = Key.create("MagnifiableComponent");
Point magnify(double scale, Point at);
}