void () { ModifiableFontPreferences appFontPrefs = (ModifiableFontPreferences)AppEditorFontOptions.getInstance().getFontPreferences(); FontPreferences stored = new FontPreferencesImpl(); appFontPrefs.copyTo(stored); try { String appFontName = appFontPrefs.getFontFamily(); int appFontSize = appFontPrefs.getSize(appFontName); assertEquals(FontPreferences.DEFAULT_FONT_NAME, appFontName); assertEditorFontsEqual(appFontName, appFontSize); appFontPrefs.setFontSize(FontPreferences.DEFAULT_FONT_NAME, 8); assertEditorFontsEqual(appFontName, 8); } finally { stored.copyTo(appFontPrefs); } }