Changeset 3806

Timestamp:

09/16/03 01:32:43 (20 years ago)

Author:

piso

Message:

SCROLL_CARET

File:

• trunk/j/src/org/armedbear/j/Property.java (modified) (2 diffs)

trunk/j/src/org/armedbear/j/Property.java

@@ -3 +3 @@
  *
  * Copyright (C) 2000-2003 Peter Graves
- * $Id: Property.java,v 1.25 2003-06-30 17:02:05 piso Exp $
+ * $Id: Property.java,v 1.26 2003-09-16 01:32:43 piso Exp $
  *
  * This program is free software; you can redistribute it and/or
@@ -182 +182 @@
     public static final Property SAVE_IN_PLACE =
         createProperty("saveInPlace", false);
+    public static final Property SCROLL_CARET =
+        createProperty("scrollCaret", true);
     public static final Property SELECT_COMPLETION =
         createProperty("selectCompletion", true);