private static void RefreshGluxActivity() { if (mShouldRefreshGlux) { //UnloadGlux(); internalLoadGlux(mCurrentGlueFile); mShouldRefreshGlux = false; mShouldRefreshHighlight = true; if (CurrentElement != null) { if (mRefreshVariablesOnly) { CurrentElement.RefreshVariables(); } else { ShowElement(CurrentElement.Name); } } } }