Show
Ignore:
Timestamp:
06/28/09 23:36:50 (15 months ago)
Author:
mb0 <mb0@…>
Children:
49cbb509af4876ed4a2ccd7942c17372373a5ae2
Parents:
80657c560c55a46e8bdb3bcc2aef994a475d2511
git-author:
mb0 <mb0@…> (06/10/09 03:01:59)
git-committer:
mb0 <mb0@…> (06/28/09 23:36:50)
Message:

moved editor related preferences from as3 preference to as3 editor preferences
editor preferences can now be used to override imp editor settings.
tab width can now be set for as3 editor.

new basic editor service that observes the life cycle of an as3 editor.
this is used to suppress the builder to build files that are currently edited.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • org.axdt.as3/src/org/axdt/as3/preferences/AS3EditorPreferencePage.java

    rfc56e42 r3d0622c  
    22 
    33import org.axdt.preferences.AbstractPreferencePage; 
    4 import org.eclipse.swt.SWT; 
    5 import org.eclipse.swt.widgets.Composite; 
    6 import org.eclipse.swt.widgets.Control; 
    7 import org.eclipse.ui.dialogs.PreferenceLinkArea; 
    8 import org.eclipse.ui.preferences.IWorkbenchPreferenceContainer; 
    94 
    105public class AS3EditorPreferencePage extends AbstractPreferencePage { 
    11         private static final String IMP_PREF_PAGE = "org.eclipse.imp.runtime.preferencePage"; 
    126 
    137        public AS3EditorPreferencePage() { 
    14                 super(AS3Preferences.getInstance(), AS3Preferences.PAGE_EDITOR); 
     8                super(AS3EditorPreferences.getInstance()); 
    159        } 
    1610 
    17         @Override 
    18         protected Control createContents(Composite parent) { 
    19                 parent = (Composite) super.createContents(parent); 
    20                 new PreferenceLinkArea(parent, SWT.NONE, IMP_PREF_PAGE, 
    21                                 "See <a>IMP Preference</a> for tab width and font preference", 
    22                                 (IWorkbenchPreferenceContainer)getContainer(), null); 
    23                 return parent; 
    24         } 
    2511}