| OLD | NEW |
| 1 /* | 1 /* |
| 2 * Copyright (C) 2012 Google Inc. All rights reserved. | 2 * Copyright (C) 2012 Google Inc. All rights reserved. |
| 3 * | 3 * |
| 4 * Redistribution and use in source and binary forms, with or without | 4 * Redistribution and use in source and binary forms, with or without |
| 5 * modification, are permitted provided that the following conditions are | 5 * modification, are permitted provided that the following conditions are |
| 6 * met: | 6 * met: |
| 7 * | 7 * |
| 8 * * Redistributions of source code must retain the above copyright | 8 * * Redistributions of source code must retain the above copyright |
| 9 * notice, this list of conditions and the following disclaimer. | 9 * notice, this list of conditions and the following disclaimer. |
| 10 * * Redistributions in binary form must reproduce the above | 10 * * Redistributions in binary form must reproduce the above |
| (...skipping 47 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 58 | 58 |
| 59 WebInspector.DockController.State = { | 59 WebInspector.DockController.State = { |
| 60 DockedToBottom: "bottom", | 60 DockedToBottom: "bottom", |
| 61 DockedToRight: "right", | 61 DockedToRight: "right", |
| 62 Undocked: "undocked" | 62 Undocked: "undocked" |
| 63 } | 63 } |
| 64 | 64 |
| 65 // Use BeforeDockSideChanged to do something before all the UI bits are updated, | 65 // Use BeforeDockSideChanged to do something before all the UI bits are updated, |
| 66 // DockSideChanged to update UI, and AfterDockSideChanged to perform actions | 66 // DockSideChanged to update UI, and AfterDockSideChanged to perform actions |
| 67 // after frontend is docked/undocked in the browser. | 67 // after frontend is docked/undocked in the browser. |
| 68 |
| 69 /** @enum {symbol} */ |
| 68 WebInspector.DockController.Events = { | 70 WebInspector.DockController.Events = { |
| 69 BeforeDockSideChanged: "BeforeDockSideChanged", | 71 BeforeDockSideChanged: Symbol("BeforeDockSideChanged"), |
| 70 DockSideChanged: "DockSideChanged", | 72 DockSideChanged: Symbol("DockSideChanged"), |
| 71 AfterDockSideChanged: "AfterDockSideChanged" | 73 AfterDockSideChanged: Symbol("AfterDockSideChanged") |
| 72 } | 74 } |
| 73 | 75 |
| 74 WebInspector.DockController.prototype = { | 76 WebInspector.DockController.prototype = { |
| 75 initialize: function() | 77 initialize: function() |
| 76 { | 78 { |
| 77 if (!this._canDock) | 79 if (!this._canDock) |
| 78 return; | 80 return; |
| 79 | 81 |
| 80 this._titles = [WebInspector.UIString("Dock to right"), WebInspector.UIS
tring("Dock to bottom"), WebInspector.UIString("Undock into separate window")]; | 82 this._titles = [WebInspector.UIString("Dock to right"), WebInspector.UIS
tring("Dock to bottom"), WebInspector.UIString("Undock into separate window")]; |
| 81 this._dockSideChanged(); | 83 this._dockSideChanged(); |
| (...skipping 141 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 223 item: function() | 225 item: function() |
| 224 { | 226 { |
| 225 return WebInspector.dockController._closeButton; | 227 return WebInspector.dockController._closeButton; |
| 226 } | 228 } |
| 227 } | 229 } |
| 228 | 230 |
| 229 /** | 231 /** |
| 230 * @type {!WebInspector.DockController} | 232 * @type {!WebInspector.DockController} |
| 231 */ | 233 */ |
| 232 WebInspector.dockController; | 234 WebInspector.dockController; |
| OLD | NEW |