Changeset 3806


Ignore:
Timestamp:
09/16/03 01:32:43 (19 years ago)
Author:
piso
Message:

SCROLL_CARET

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/j/src/org/armedbear/j/Property.java

    r2671 r3806  
    33 *
    44 * Copyright (C) 2000-2003 Peter Graves
    5  * $Id: Property.java,v 1.25 2003-06-30 17:02:05 piso Exp $
     5 * $Id: Property.java,v 1.26 2003-09-16 01:32:43 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    182182    public static final Property SAVE_IN_PLACE =
    183183        createProperty("saveInPlace", false);
     184    public static final Property SCROLL_CARET =
     185        createProperty("scrollCaret", true);
    184186    public static final Property SELECT_COMPLETION =
    185187        createProperty("selectCompletion", true);
Note: See TracChangeset for help on using the changeset viewer.