reLoadTranslation method
Reloads a single translation and requests a UI update.
context is the build context, used to mark the widget
tree as needing a rebuild.
translation is the translation to reload.
Implementation
void reLoadTranslation(BuildContext context, Translation translation) {
loadTranslation(translation);
(context as Element).markNeedsBuild();
logger.log("Reloaded Translation: ${translation.name}", type: LogType.info);
}