[PR #112] [MERGED] Devtools #263

New issue

Closed

opened 2026-05-05 11:57:17 -06:00 by gitea-mirror · 0 comments

gitea-mirror commented

2026-05-05 11:57:17 -06:00

Owner

📋 Pull Request Information

Original PR: https://github.com/kusti8/proton-native/pull/112
Author: @mischnic
Created: 5/5/2018
Status: ✅ Merged
Merged: 5/7/2018
Merged by: @kusti8

Base: master ← Head: devtools

📝 Commits (3)

d657d24 Fix devtools
fce57db Refactor
1d8040a Quit properly with devtools

📊 Changes

4 files changed (+53 additions, -6 deletions)

View changed files

📝 src/components/App.js (+2 -0)
📝 src/components/Window.js (+2 -0)
➕ src/devtools.js (+46 -0)
📝 src/render/index.js (+3 -6)

📄 Description

Makes react devtools work.

Will be used if the react-devtools-core is installed locally (either directly or via react-devtools). Not sure where to mention this in the docs.

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/kusti8/proton-native/pull/112 **Author:** [@mischnic](https://github.com/mischnic) **Created:** 5/5/2018 **Status:** ✅ Merged **Merged:** 5/7/2018 **Merged by:** [@kusti8](https://github.com/kusti8) **Base:** `master` ← **Head:** `devtools` --- ### 📝 Commits (3) - [`d657d24`](https://github.com/kusti8/proton-native/commit/d657d246e206899de8bca5e04bb86a35d0dca7ef) Fix devtools - [`fce57db`](https://github.com/kusti8/proton-native/commit/fce57db5ad1d3f4232c3e00c8bcbccc89e7e0b41) Refactor - [`1d8040a`](https://github.com/kusti8/proton-native/commit/1d8040a51e763a5200c76c6e83731a498abdf793) Quit properly with devtools ### 📊 Changes **4 files changed** (+53 additions, -6 deletions) <details> <summary>View changed files</summary> 📝 `src/components/App.js` (+2 -0) 📝 `src/components/Window.js` (+2 -0) ➕ `src/devtools.js` (+46 -0) 📝 `src/render/index.js` (+3 -6) </details> ### 📄 Description Makes react devtools work. ![bildschirmfoto 2018-05-05 um 18 32 07](https://user-images.githubusercontent.com/4586894/39665912-af460a98-509b-11e8-9eda-9e3ac188be99.png) Will be used if the `react-devtools-core` is installed locally (either directly or via `react-devtools`). Not sure where to mention this in the docs. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>