From 79d467c551c1ebaf60abed2375f9b29be0563046 Mon Sep 17 00:00:00 2001 From: Will Hunt Date: Wed, 24 Oct 2018 17:36:58 +0100 Subject: [PATCH] Add button to open devtools in roomsettings --- src/components/views/rooms/RoomSettings.js | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/components/views/rooms/RoomSettings.js b/src/components/views/rooms/RoomSettings.js index 46869c1773..23c2dbc93d 100644 --- a/src/components/views/rooms/RoomSettings.js +++ b/src/components/views/rooms/RoomSettings.js @@ -590,6 +590,11 @@ module.exports = React.createClass({ } }, + _openDevtools: function() { + const DevtoolsDialog = sdk.getComponent('dialogs.DevtoolsDialog'); + Modal.createDialog(DevtoolsDialog, {roomId: this.props.room.roomId}); + }, + _renderEncryptionSection: function() { const SettingsFlag = sdk.getComponent("elements.SettingsFlag"); @@ -942,6 +947,10 @@ module.exports = React.createClass({ ; } + devtoolsButton = + { _t("Open Devtools") } + ; + return (
@@ -1055,6 +1064,7 @@ module.exports = React.createClass({ { _t('Internal room ID: ') } { this.props.room.roomId }
{ _t('Room version number: ') } { this.props.room.getVersion() }
{ roomUpgradeButton } + { devtoolsButton }
);