added functionality to display which document is active
Authored by: bittorf 2012-03-03
Parent: [r5252]
Child: [r5254]
