OLD | NEW |
1 /* | 1 /* |
2 * Copyright (C) 2011 Google Inc. All rights reserved. | 2 * Copyright (C) 2011 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 * 1. Redistributions of source code must retain the above copyright | 8 * 1. 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 * | 10 * |
(...skipping 52 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
63 this._tabbedPane.addEventListener(WebInspector.TabbedPane.EventTypes.TabClos
ed, this._tabClosed, this); | 63 this._tabbedPane.addEventListener(WebInspector.TabbedPane.EventTypes.TabClos
ed, this._tabClosed, this); |
64 this._tabbedPane.addEventListener(WebInspector.TabbedPane.EventTypes.TabSele
cted, this._tabSelected, this); | 64 this._tabbedPane.addEventListener(WebInspector.TabbedPane.EventTypes.TabSele
cted, this._tabSelected, this); |
65 | 65 |
66 this._tabIds = new Map(); | 66 this._tabIds = new Map(); |
67 this._files = {}; | 67 this._files = {}; |
68 | 68 |
69 this._previouslyViewedFilesSetting = setting; | 69 this._previouslyViewedFilesSetting = setting; |
70 this._history = WebInspector.TabbedEditorContainer.History.fromObject(this._
previouslyViewedFilesSetting.get()); | 70 this._history = WebInspector.TabbedEditorContainer.History.fromObject(this._
previouslyViewedFilesSetting.get()); |
71 } | 71 } |
72 | 72 |
| 73 /** @enum {symbol} */ |
73 WebInspector.TabbedEditorContainer.Events = { | 74 WebInspector.TabbedEditorContainer.Events = { |
74 EditorSelected: "EditorSelected", | 75 EditorSelected: Symbol("EditorSelected"), |
75 EditorClosed: "EditorClosed" | 76 EditorClosed: Symbol("EditorClosed") |
76 } | 77 } |
77 | 78 |
78 WebInspector.TabbedEditorContainer._tabId = 0; | 79 WebInspector.TabbedEditorContainer._tabId = 0; |
79 | 80 |
80 WebInspector.TabbedEditorContainer.maximalPreviouslyViewedFilesCount = 30; | 81 WebInspector.TabbedEditorContainer.maximalPreviouslyViewedFilesCount = 30; |
81 | 82 |
82 WebInspector.TabbedEditorContainer.prototype = { | 83 WebInspector.TabbedEditorContainer.prototype = { |
83 /** | 84 /** |
84 * @return {!WebInspector.Widget} | 85 * @return {!WebInspector.Widget} |
85 */ | 86 */ |
(...skipping 664 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
750 /** | 751 /** |
751 * @override | 752 * @override |
752 * @param {string} tabId | 753 * @param {string} tabId |
753 * @param {!WebInspector.ContextMenu} contextMenu | 754 * @param {!WebInspector.ContextMenu} contextMenu |
754 */ | 755 */ |
755 onContextMenu: function(tabId, contextMenu) | 756 onContextMenu: function(tabId, contextMenu) |
756 { | 757 { |
757 this._editorContainer._onContextMenu(tabId, contextMenu); | 758 this._editorContainer._onContextMenu(tabId, contextMenu); |
758 } | 759 } |
759 } | 760 } |
OLD | NEW |