internal void setSelectedPage(string stem, int pageNum) { Settings.app.setSelectedPage(stem, pageNum); if (mainForm != null && lastData != null && lastData.getMatchStem() == stem) { OkuriganaType okType = Settings.app.okuriganaType; if (okType == OkuriganaType.NORMAL) { mainForm.updateReading(lastData.getMatchStem(), lastData.getReading(okType)); } else if (okType == OkuriganaType.ENGLISH || okType == OkuriganaType.RUSSIAN) { mainForm.updateReading(lastData.asText(), lastData.getReading(okType)); } } }