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 * * 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 521 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
532 } | 532 } |
533 | 533 |
534 contextMenu.showSoftMenu(); | 534 contextMenu.showSoftMenu(); |
535 }, | 535 }, |
536 | 536 |
537 /** | 537 /** |
538 * @param {Event} event | 538 * @param {Event} event |
539 */ | 539 */ |
540 _mouseUp: function(event) | 540 _mouseUp: function(event) |
541 { | 541 { |
542 this.showSettingsScreen(WebInspector.SettingsScreen.Tabs.General); | 542 this.showSettingsScreen(); |
543 }, | 543 }, |
544 | 544 |
545 _onHideSettingsScreen: function() | 545 _onHideSettingsScreen: function() |
546 { | 546 { |
547 delete this._settingsScreenVisible; | 547 delete this._settingsScreenVisible; |
548 }, | 548 }, |
549 | 549 |
550 /** | 550 /** |
551 * @param {string=} tabId | 551 * @param {string=} tabId |
552 */ | 552 */ |
(...skipping 14 matching lines...) Expand all Loading... |
567 if (this._settingsScreen) | 567 if (this._settingsScreen) |
568 this._settingsScreen.hide(); | 568 this._settingsScreen.hide(); |
569 }, | 569 }, |
570 | 570 |
571 resize: function() | 571 resize: function() |
572 { | 572 { |
573 if (this._settingsScreen && this._settingsScreen.isShowing()) | 573 if (this._settingsScreen && this._settingsScreen.isShowing()) |
574 this._settingsScreen.doResize(); | 574 this._settingsScreen.doResize(); |
575 } | 575 } |
576 } | 576 } |
OLD | NEW |