How to re-indent code blocs?
jmv38 last edited by
I cant find in the doc or search in the forum about how to re-indent a code bloc forward or backward. So i do it line by line, which is boring...
JonB last edited by
[editmenu] (https://github.com/jsbain/editmenu/tree/master) has buttons to indent or unindent selected code blocks (the -> and <- icons). You can also comment or uncomment lines (# and #- icons). You can also execute a block in the current interactive session (the lightning bolt icon).
pysmath recently incorporated a Find And Replace menu bar (magnifying glass), as well as integration with his incredibly useful Tabs. The top button on the sidebar lets you switch between tabs and the editmenu tools.
If you don't have a method to install repos from github, GitHubGet works easily with a bookmarklet or clipboard. I think there are more recent github browsers in the forums, I have not used personally. Copy text of GitHubGet.py into a new script called GitHubGet.py in your main script folder or site-packages, then you can copy a repo name to the clipboard and run it, or you can launch from a bookmarklet (see GitHubGet for more details).
jmv38 last edited by
@JonB this script is great! Thanks.
zencuke last edited by
Going a bit off topic (but no more than JonB already has :-) in his useful answer) I like this Github tool:
It is built with ui and is packed with features. It runs nicely as a tool action. It runs as a popup on an iPad. It will automatically use a Github url as a default value if it finds one in the clipboard, say from a google search or whatever. It allows you to browse and select from a users repositories or gists and even lets you select specific versions. I installed that single tool and was able to quickly grab a lot of productivity enhancing support tools. Especially when I found:
Which is basically a directory to a bunch of useful Pythionista stuff on Github.
To ease installing gitrepo with its gui file authir dgelessus provides the following file in the repository which you can cut and paste into an empty python script which when run will create both needed files. That will be the last time you need to access Github by hand.