public static void OpenTranslation(string path, Encoding encoding) { if (document.IsTranslationLoaded) { CloseTranslation(); } document.OpenTranslation(path, encoding); EmitTranslationLoadedEvent(); /* Reselect, for the widgets to update accordingly */ Ui.View.Selection.Reselect(); }