Changeset 1056

Show
Ignore:
Timestamp:
01/24/12 22:58:36 (4 months ago)
Author:
ke
Message:

no longer specifying a full package name for locating kahina_jedit.properties

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • trunk/src/org/kahina/core/edit/source/KahinaJEditPropertyManager.java

    r1049 r1056  
    1919                properties.putAll(loadProperties(TextArea.class, "/org/gjt/sp/jedit/jedit_keys.props")); 
    2020                properties.putAll(loadProperties(TextArea.class, "/org/gjt/sp/jedit/jedit.props")); 
    21                 properties.putAll(loadProperties(KahinaJEditPropertyManager.class, "/org/kahina/core/editor/kahina_jedit.properties")); 
     21                properties.putAll(loadProperties(KahinaJEditPropertyManager.class, "kahina_jedit.properties")); 
    2222                // TODO load user-configurable properties 
    2323        }