Esempio n. 1
0
        public void ShowOverlay(TextEditor textEditor)
        {
            this.textEditor = textEditor;
            this.ShowAll();
            textEditor.AddTopLevelWidget(this, 0, 0);
            textEditor.SizeAllocated += HandleSizeAllocated;
            var child = (TextEditor.EditorContainerChild)textEditor [this];

            child.FixedPosition = true;
        }
		public void ShowOverlay (TextEditor textEditor)
		{
			this.textEditor = textEditor;
			this.ShowAll ();
			textEditor.AddTopLevelWidget (this, 0, 0);
			textEditor.SizeAllocated += HandleSizeAllocated;
			var child = (TextEditor.EditorContainerChild)textEditor [this];
			child.FixedPosition = true;
		}