@ Override protected Control createContents ( Composite parent ) { Composite top = new Composite ( parent , SWT . LEFT ) ; // Sets the layout data for the top composite's // place in its parent's layout. top . setLayoutData ( new GridData ( GridData . FILL_HORIZONTAL ) ) ; // Sets the layout for the top composite's // children to populate. top . setLayout ( new GridLayout ( ) ) ; if ( Platform . getOS ( ) . equalsIgnoreCase ( Platform . OS_MACOSX ) ) { vdmPathMac = new DirectoryFieldEditor ( ICskConstants . VSLGDE_PATH , "Path to VDM Tools for VDM-SL (vdmgde):" , top ) ; vdmPathMac . setPage ( this ) ; vdmPathMac . setPreferenceStore ( getPreferenceStore ( ) ) ; vdmPathMac . load ( ) ; vppPathMac = new DirectoryFieldEditor ( ICskConstants . VPPGDE_PATH , "Path to VDM Tools for VDM-PP (vppgde):" , top ) ; vppPathMac . setPage ( this ) ; vppPathMac . setPreferenceStore ( getPreferenceStore ( ) ) ; vppPathMac . load ( ) ; // vicePathMac = new DirectoryFieldEditor(ICskConstants.VRTGDE_PATH, "Path to VDMTools for VICE (vicegde):", top); // vicePathMac.setPage(this); // vicePathMac.setPreferenceStore(getPreferenceStore()); // vicePathMac.load(); Label listLabel = new Label ( top , SWT . BOLD ) ; listLabel . setText ( "NOTE: select the \"bin\" folder just above \"vxxgde\"" ) ; } else { vdmPath = new FileFieldEditor ( ICskConstants . VSLGDE_PATH , "Path to VDM Tools for VDM-SL (vdmgde):" , top ) ; vdmPath . setPage ( this ) ; vdmPath . setPreferenceStore ( getPreferenceStore ( ) ) ; vdmPath . load ( ) ; vppPath = new FileFieldEditor ( ICskConstants . VPPGDE_PATH , "Path to VDM Tools for VDM-PP (vppgde):" , top ) ; vppPath . setPage ( this ) ; vppPath . setPreferenceStore ( getPreferenceStore ( ) ) ; vppPath . load ( ) ; // vicePath = new FileFieldEditor(ICskConstants.VRTGDE_PATH, "Path to VDMTools for VICE (vicegde):", top); // vicePath.setPage(this); // vicePath.setPreferenceStore(getPreferenceStore()); // vicePath.load(); } return top ; }
DirectoryFieldEditor vicePathMac = null ;