File: indent_all.py

package info (click to toggle)
gnat-gps 18-5
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 45,716 kB
  • sloc: ada: 362,679; python: 31,031; xml: 9,597; makefile: 1,030; ansic: 917; sh: 264; java: 17
file content (17 lines) | stat: -rw-r--r-- 436 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
"""This plug-in adds a menu Edit->Indent all files which will indent
   automatically all source files from all projects"""


from GPS import Project, Menu, Console, EditorBuffer


def indent_all(menu):
    for f in Project.root().sources(recursive=True):
        ed = EditorBuffer.get(f)
        ed.indent()
        ed.save()
        ed.close()
    Console().write("Done indenting")


Menu.create("/Edit/Indent all files", indent_all)