Allow changing order of open document tabs
Match open document order with document tab order
Change DocumentManager to use MovableTabWidget
Normalize MovableTabWidget signals and slots
Merge pull request #640 from sean-h/master

Allow changing order of open document tabs