• file
• latest
• revisions
• annotate
• diff
• comparison
• raw

diff: Plugins/ViewManagerPlugins/MdiArea/MdiArea.py

Plugins/ViewManagerPlugins/MdiArea/MdiArea.py

changeset 825

9cdec3c5bc07

parent 791

9ec2ac20e54e

child 945

8cd4d08fa9f6