| OLD | NEW |
| 1 // Copyright (c) 2011 The Chromium Authors. All rights reserved. | 1 // Copyright (c) 2011 The Chromium Authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 // How long to wait to open submenu when mouse hovers. | 5 // How long to wait to open submenu when mouse hovers. |
| 6 var SUBMENU_OPEN_DELAY_MS = 200; | 6 var SUBMENU_OPEN_DELAY_MS = 200; |
| 7 // How long to wait to close submenu when mouse left. | 7 // How long to wait to close submenu when mouse left. |
| 8 var SUBMENU_CLOSE_DELAY_MS = 500; | 8 var SUBMENU_CLOSE_DELAY_MS = 500; |
| 9 // Scroll repeat interval. | 9 // Scroll repeat interval. |
| 10 var SCROLL_INTERVAL_MS = 20; | 10 var SCROLL_INTERVAL_MS = 20; |
| (...skipping 654 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 665 document.getElementById('viewport').updateModel(model); | 665 document.getElementById('viewport').updateModel(model); |
| 666 } | 666 } |
| 667 | 667 |
| 668 function modelUpdated() { | 668 function modelUpdated() { |
| 669 chrome.send('model_updated', []); | 669 chrome.send('model_updated', []); |
| 670 } | 670 } |
| 671 | 671 |
| 672 function enableScroll(enabled) { | 672 function enableScroll(enabled) { |
| 673 document.getElementById('viewport').scrollEnabled = enabled; | 673 document.getElementById('viewport').scrollEnabled = enabled; |
| 674 } | 674 } |
| OLD | NEW |