{"shas":[["7dbc1abe34583ba9e3cba4aad22800d06a078621","4665bfe272014253babd87b5af65ab7358e497cf@oliver-heger.de","Renamed PageManager to RMSPageManager as there will be work now on a more generic implementation.","oheger"],["acb8a5185072479e8e803675f86f665c2a6d9aef","4665bfe272014253babd87b5af65ab7358e497cf@oliver-heger.de","Added PageView interface and a default implementation based on a DockLayoutPanel.","oheger"],["e8b7f648d651da64f6dbb008370667425a49b62c","4665bfe272014253babd87b5af65ab7358e497cf@oliver-heger.de","Added a bunch of interfaces related to the new page manager component.","oheger"]],"ref":"refs/heads/master","push_id":21048795,"head":"e8b7f648d651da64f6dbb008370667425a49b62c","size":3}