GoTo() public method

public GoTo ( string file, int line, int column ) : void
file string
line int
column int
return void
Example #1
0
 private void goToType(ITypeCache cache, Editor editor)
 {
     _ctx.Post((s) =>
         {
             if (_gotoType == null || !_gotoType.Visible)
             {
                 _gotoType = new TypeSearchForm(
                     cache,
                     (file, line, column) => { editor.GoTo(file, line, column); },
                     () => { new System.Threading.Thread(() => { System.Threading.Thread.Sleep(1000); editor.SetFocus(); }).Start(); });
                 _gotoType.Show(this);
             }
             setToForeground(_gotoType);
         }, null);
 }
Example #2
0
 private void explore(ITypeCache cache, Editor editor)
 {
     _ctx.Post((s) =>
         {
             if (_exploreForm == null || !_exploreForm.Visible)
             {
                 _exploreForm = new FileExplorer(
                     cache,
                     _defaultLanguage,
                     (file, line, column) => { editor.GoTo(file, line, column); },
                     () => { editor.SetFocus(); });
                 _exploreForm.Show(this);
             }
             setToForeground(_exploreForm);
         }, null);
 }
Example #3
0
 private void goToType(ITypeCache cache, Editor editor)
 {
     Logger.Write("Preparing to open type search");
     _ctx.Post((s) =>
         {
             Logger.Write("Opening type search");
             try {
                 if (_gotoType == null || !_gotoType.Visible)
                 {
                     Logger.Write("Creating typesearch form");
                     _gotoType = new TypeSearchForm(
                         cache,
                         (file, line, column) => { editor.GoTo(file, line, column); },
                         () => { new System.Threading.Thread(() => { System.Threading.Thread.Sleep(1000); editor.SetFocus(); }).Start(); });
                     _gotoType.Show(this);
                 }
                 setToForeground(_gotoType);
             } catch (Exception ex) {
                 Logger.Write(ex);
             }
         }, null);
 }