mir/libreoffice
2
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

INTEGRATION: CWS scriptingf7 (1.2.26); FILE MERGED

Browse Source 
2004/07/15 16:18:24 toconnor 1.2.26.1: #i25870# add method to scroll to a line
This commit is contained in:
Jens-Heiner Rechtien
2004-07-23 13:05:24 +00:00
parent 61e9f5db50
commit f516d44bd8
1 changed files with 38 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

44
scripting/java/org/openoffice/netbeans/editor/NetBeansSourceView.java
View File

@@ -2,9 +2,9 @@
*
* $RCSfile: NetBeansSourceView.java,v $
*
* $Revision: 1.2 $
* $Revision: 1.3 $
*
* last change: $Author: rt $ $Date: 2004-01-05 14:08:59 $
* last change: $Author: hr $ $Date: 2004-07-23 14:05:24 $
*
* The Contents of this file are made available subject to the terms of
* either of the following licenses
@@ -68,6 +68,7 @@ import javax.swing.event.DocumentEvent;
import java.io.*;
import java.util.ResourceBundle;
import javax.swing.text.Caret;
import org.netbeans.editor.*;
import org.netbeans.editor.ext.*;
@@ -142,8 +143,18 @@ public class NetBeansSourceView extends JPanel
System.err.println("Invalid file");
System.exit(-1);
}
java.net.URL url = null;
try {
url = f.toURL();
}
catch (java.net.MalformedURLException mue) {
System.err.println("Invalid file");
System.exit(-1);
}
NetBeansSourceView view =
new NetBeansSourceView(new ScriptSourceModel(f.getAbsolutePath()));
new NetBeansSourceView(new ScriptSourceModel(url));
JFrame frame = new JFrame();
frame.getContentPane().add(view);
@@ -151,6 +162,29 @@ public class NetBeansSourceView extends JPanel
frame.show();
}
// Code grabbed from NetBeans editor module
public void scrollToLine(int line)
{
BaseDocument doc = Utilities.getDocument(pane);
int pos = -1;
if (doc != null) {
// Obtain the offset where to jump
pos = Utilities.getRowStartFromLineOffset(doc, line);
}
if (pos != -1) {
Caret caret = pane.getCaret();
if (caret instanceof BaseCaret) { // support extended scroll mode
BaseCaret bCaret = (BaseCaret)caret;
bCaret.setDot(pos, bCaret, EditorUI.SCROLL_FIND);
}
else {
caret.setDot(pos);
}
}
}
public void clear() {
pane.setText("");
}
@@ -171,9 +205,7 @@ public class NetBeansSourceView extends JPanel
// scroll to current position of the model
try {
java.awt.Rectangle rect =
pane.modelToView(model.getCurrentPosition());
pane.scrollRectToVisible(rect);
scrollToLine(model.getCurrentPosition());
}
catch (Exception e) {
// couldn't scroll to line, do nothing