Exemple #1
0
        private void LoadSettingsFromFileUsageInfo(FileUsageInfo f, bool load)
        {
            if (load)
            {
                pTC.PText.Load(f.FileName);
                currentAudioFileNumber = -1;
                UpdateWindowTitle();
                CtrlPressed = false;
            }

            if (f.SplitterRatio == 0)
                f.SplitterRatio = 0.5F;

            pTC.Reversed = f.Reversed;
            reverseToolStripMenuItem.Checked = pTC.Reversed;

            pTC.ReadingMode = f.ReadingMode;
            pTC.AlternatingColorScheme = f.AlternatingColorScheme;

            SetEditMode(f.EditMode);

            pTC.SetLayoutMode();

            pTC.SetSplitterPositionByRatio(f.SplitterRatio);

            pTC.Modified = false;

            if (pTC.Number > 0)
            {
                if (f.Pair >= pTC.Number)
                    pTC.HighlightedPair = pTC.Number - 1;
                else
                    pTC.HighlightedPair = f.Pair;

                if (f.TopPair >= pTC.Number)
                    pTC.CurrentPair = pTC.Number - 1;
                else
                    pTC.CurrentPair = f.TopPair;

                pTC.FindFirstNaturalDividers();
                //Recompute();
            }

            ProcessEditModeChange(true);

            SetGoogleTranslatorEnabled(f.ShowGoogleTranslator);
            showGoogleTranslatorToolStripMenuItem.Checked = f.ShowGoogleTranslator;
        }
Exemple #2
0
        private bool RetrieveToTheTop(string fileName)
        {
            // Let's check whether there exists this file in the list

            for (int index = 0; index < appSettings.FileUsages.Count; index++)
            {
                if (appSettings.FileUsages[index].FileName == fileName)
                {
                    if (index != 0)
                    {
                        FileUsageInfo toMove = appSettings.FileUsages[index];
                        appSettings.FileUsages.Remove(toMove);
                        appSettings.FileUsages.Insert(0, toMove);
                    }
                    return true;
                }
            }

            FileUsageInfo fileUsageInfo = new FileUsageInfo();

            fileUsageInfo.FileName = fileName;

            appSettings.FileUsages.Insert(0, fileUsageInfo);

            return false;
        }