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

diff: Plugins/ViewManagerPlugins/MdiArea/MdiArea.py

Plugins/ViewManagerPlugins/MdiArea/MdiArea.py

changeset 464

a2b1d1770ef0

parent 457

608a9c14f4c9

child 486

e4711a55e482