equal
deleted
inserted
replaced
50 |
50 |
51 // Include util script files. |
51 // Include util script files. |
52 includeScript("WRTKit/Utils/Logger.js"); |
52 includeScript("WRTKit/Utils/Logger.js"); |
53 |
53 |
54 // Include UI visual definition. |
54 // Include UI visual definition. |
55 includeStyleSheet("WRTKit/Resources/UI.css"); |
55 //includeStyleSheet("WRTKit/Resources/UI.css"); // included in index.html |
56 |
56 |
57 // Include all UI toolkit script files. |
57 // Include all UI toolkit script files. |
58 var UI_NO_INIT_ID = "UI_NO_INIT_ID"; |
58 var UI_NO_INIT_ID = "UI_NO_INIT_ID"; |
59 |
59 |
60 includeScript("WRTKit/UI/UIInit.js"); |
60 includeScript("WRTKit/UI/UIInit.js"); |
75 includeScript("WRTKit/UI/SelectionMenu.js"); |
75 includeScript("WRTKit/UI/SelectionMenu.js"); |
76 includeScript("WRTKit/UI/SelectionList.js"); |
76 includeScript("WRTKit/UI/SelectionList.js"); |
77 includeScript("WRTKit/UI/ActionControl.js"); |
77 includeScript("WRTKit/UI/ActionControl.js"); |
78 includeScript("WRTKit/UI/FormButton.js"); |
78 includeScript("WRTKit/UI/FormButton.js"); |
79 includeScript("WRTKit/UI/NavigationButton.js"); |
79 includeScript("WRTKit/UI/NavigationButton.js"); |
|
80 includeScript("WRTKit/UI/TextPane.js"); |
80 includeScript("WRTKit/UI/TabView.js"); |
81 includeScript("WRTKit/UI/TabView.js"); |
81 includeScript("WRTKit/UI/Ajax.js"); |
82 includeScript("WRTKit/UI/Ajax.js"); |
82 includeScript("WRTKit/UI/ImageLabel.js"); |
83 includeScript("WRTKit/UI/ImageLabel.js"); |
83 |
84 |
84 // Includes a script file by writing a script tag. |
85 // Includes a script file by writing a script tag. |