/** * Get the preference manager * * @return The preference manager */ public IdvPreferenceManager getPreferenceManager() { return idv.getPreferenceManager(); }