From ceb6d89a6b4fd991472e8c396402d13bc6cfa80e Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 17 Mar 2008 10:03:55 +0000 Subject: [PATCH] GUI text editor bug. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@670 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/userinterface/model/GUITextModelEditor.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/prism/src/userinterface/model/GUITextModelEditor.java b/prism/src/userinterface/model/GUITextModelEditor.java index cb937329..a99bfe8e 100644 --- a/prism/src/userinterface/model/GUITextModelEditor.java +++ b/prism/src/userinterface/model/GUITextModelEditor.java @@ -703,6 +703,8 @@ public class GUITextModelEditor extends GUIModelEditor implements DocumentListen public int computeDocumentOffset(int line, int column) throws BadLocationException { + if (line < 0 || column < 0) throw new BadLocationException("Negative line/col", -1); + Element lineElement = editor.getDocument().getDefaultRootElement(). getElement(line-1);