コード例 #1
0
        private static void RefreshGluxActivity()
        {
            if (mShouldRefreshGlux)
            {
                //UnloadGlux();
                internalLoadGlux(mCurrentGlueFile);

                mShouldRefreshGlux      = false;
                mShouldRefreshHighlight = true;

                if (CurrentElement != null)
                {
                    if (mRefreshVariablesOnly)
                    {
                        CurrentElement.RefreshVariables();
                    }
                    else
                    {
                        ShowElement(CurrentElement.Name);
                    }
                }
            }
        }