Searched refs:mNdkDirectoryEditor (Results 1 – 1 of 1) sorted by relevance
33 private NdkDirectoryFieldEditor mNdkDirectoryEditor; field in NdkPreferencePage43 mNdkDirectoryEditor = new NdkDirectoryFieldEditor(NdkManager.NDK_LOCATION, in createFieldEditors()45 addField(mNdkDirectoryEditor); in createFieldEditors()87 if (mNdkDirectoryEditor != null) { in dispose()88 mNdkDirectoryEditor.dispose(); in dispose()89 mNdkDirectoryEditor = null; in dispose()