Julia Radzhabova 1a3b022467 [DE] Fast updating name of the headers in the table of contents.		2018-01-11 10:38:50 +03:00
..
DocumentHolder.js
LeftMenu.js
Links.js
Main.js
Navigation.js	[DE] Fast updating name of the headers in the table of contents.	2018-01-11 10:38:50 +03:00
PageLayout.js
RightMenu.js
Statusbar.js
Toolbar.js
Viewport.js