Wednesday, March 11, 2020

Wing Tips: Goto-Definition From the Interactive Shells in Wing Pro

In this Wing Tip we'll take a quick look at a lesser-known but often useful feature in Wing Pro: Jumping from symbols in the integrated shells to their point of definition in source code. This makes it a snap to bridge from runtime symbols to the source code where they are actually defined and used.

Debug Console Example

In this example, the debugger is stopped and I'm working in the Debug Console, which is an interactive shell that runs in the context of the currently selected debug stack frame. While trying to determine why handler.exit_status is None, I jump to its point of definition from the right-click context menu:

/images/blog/goto-definition-in-shells/debug-console.gif

From here, I could set a breakpoint and restart debug, or right-click on the editor to select Find Points of Use to see all the points of use of exit_status.

Python Shell Example

Similarly, I can import a module in the Python Shell and jump to the point of definition of symbols in the module. Here I'm using this technique to bring up the source code for numpy's ndarray:

/images/blog/goto-definition-in-shells/python-shell.gif

In this case, I'm pressing F4 to go to the definition, rather than using the right-click context menu.

Traversing Visit History

To get back from the point of definition to the previously displayed code in the editor, use the browser-like forward/back arrow buttons in the top left of the editor:

/images/blog/goto-definition-in-shells/back-arrows.png

Pressing Alt-Left or using any other key binding for the command visit-history-previous also goes back in the editor's visit history.



That's it for now! We'll be back soon with more Wing Tips for Wing Python IDE.

As always, please don't hesitate to email support@wingware.com if you run into problems or have any questions.



from Planet Python
via read more

No comments:

Post a Comment

TestDriven.io: Working with Static and Media Files in Django

This article looks at how to work with static and media files in a Django project, locally and in production. from Planet Python via read...