2 var Menu = new function() {
4 var infoView = "ProjectInfo";
6 self.start = function() {
10 self.info = function() {
11 History.visit(self.infoView + '/' + View.currentPar);
14 self.bookmark = function() {
15 var name = prompt('Nazwa zakładki');
17 History.addBookmark(name);
20 self.setInfoButton = function(view, label, enabled) {
22 window.MenuInterface.setInfoButton(label, enabled);