Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(870)

Unified Diff: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/functions/DartOutlineInformationControl.java

Issue 10377181: add support for package: to the editor (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: '' Created 8 years, 7 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/functions/DartOutlineInformationControl.java
===================================================================
--- editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/functions/DartOutlineInformationControl.java (revision 7713)
+++ editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/functions/DartOutlineInformationControl.java (working copy)
@@ -1,5 +1,5 @@
/*
- * Copyright (c) 2011, the Dart project authors.
+ * Copyright (c) 2012, the Dart project authors.
*
* Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
* in compliance with the License. You may obtain a copy of the License at
@@ -26,7 +26,7 @@
import com.google.dart.tools.ui.OverrideIndicatorLabelDecorator;
import com.google.dart.tools.ui.ProblemsLabelDecorator;
import com.google.dart.tools.ui.StandardDartElementContentProvider;
-import com.google.dart.tools.ui.internal.preferences.DartBasePreferencePage;
+import com.google.dart.tools.ui.internal.preferences.FontPreferencePage;
import com.google.dart.tools.ui.internal.text.DartHelpContextIds;
import com.google.dart.tools.ui.internal.util.SWTUtil;
import com.google.dart.tools.ui.internal.util.StringMatcher;
@@ -612,7 +612,7 @@
treeViewer.getTree().addKeyListener(getKeyAdapter());
- Font newFont = JFaceResources.getFont(DartBasePreferencePage.BASE_FONT_KEY);
+ Font newFont = JFaceResources.getFont(FontPreferencePage.BASE_FONT_KEY);
Font oldFont = treeViewer.getTree().getFont();
Font font = SWTUtil.changeFontSize(oldFont, newFont);
treeViewer.getTree().setFont(font);

Powered by Google App Engine
This is Rietveld 408576698