Changeset 56 for java/FramclipsePlugin/src/main/java/com/framsticks/framclipse/editors/hover/FramscriptTextHover.java

Timestamp:

01/25/10 12:55:18 (14 years ago)

Author:

tmaciejewski

Message:

Framclipse updates:

• added information where parsing errors occured
• removed deprecated API from hover support

File:

• java/FramclipsePlugin/src/main/java/com/framsticks/framclipse/editors/hover/FramscriptTextHover.java (modified) (3 diffs)

java/FramclipsePlugin/src/main/java/com/framsticks/framclipse/editors/hover/FramscriptTextHover.java

@@ -5 +5 @@
 import org.eclipse.jface.internal.text.html.BrowserInformationControl;
 import org.eclipse.jface.internal.text.html.HTMLTextPresenter;
+import org.eclipse.jface.resource.JFaceResources;
 import org.eclipse.jface.text.AbstractReusableInformationControlCreator;
 import org.eclipse.jface.text.BadLocationException;
@@ -35 +36 @@
 
                 public IInformationControl doCreateInformationControl(Shell parent) {
-                        int shellStyle= SWT.RESIZE | SWT.TOOL;
-                        int style= SWT.V_SCROLL | SWT.H_SCROLL;
-                        if (BrowserInformationControl.isAvailable(parent))
-                                return new BrowserInformationControl(parent, shellStyle, style);
-                        else
-                                return new DefaultInformationControl(parent, shellStyle, style, new HTMLTextPresenter(false));
+//                      int shellStyle= SWT.RESIZE | SWT.TOOL;
+//                      int style= SWT.V_SCROLL | SWT.H_SCROLL;
+//                      if (BrowserInformationControl.isAvailable(parent)) {
+//                              return new BrowserInformationControl(parent, JFaceResources.DIALOG_FONT, true);
+//                              return new BrowserInformationControl(parent, shellStyle, style);
+//                      } else
+//                              return new DefaultInformationControl(parent, shellStyle, style, new HTMLTextPresenter(false));
+                                return new DefaultInformationControl(parent, true);
                 }
         }
@@ -47 +50 @@
                 
                 public IInformationControl doCreateInformationControl(Shell parent) {
-                        if (BrowserInformationControl.isAvailable(parent))
-                                return new BrowserInformationControl(parent, SWT.TOOL | SWT.NO_TRIM, SWT.NONE, EditorsUI.getTooltipAffordanceString());
-                        else
-                                return new DefaultInformationControl(parent, SWT.NONE, new HTMLTextPresenter(true), EditorsUI.getTooltipAffordanceString());
+//                      if (BrowserInformationControl.isAvailable(parent)) {
+//                              return new BrowserInformationControl(parent, JFaceResources.DIALOG_FONT, true);
+//                              return new BrowserInformationControl(parent, SWT.TOOL | SWT.NO_TRIM, SWT.NONE, EditorsUI.getTooltipAffordanceString());
+//                      } else {
+//                              return new DefaultInformationControl(parent, SWT.NONE, new HTMLTextPresenter(true), EditorsUI.getTooltipAffordanceString());
+                                return new DefaultInformationControl(parent, true);
+//                      }
                 }