enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-11-27 06:32:30 +03:00
Code Issues Projects Releases Wiki Activity
a978d70a9e
enso/app/gui/docs
History
Dmitry Bushev 4b3ba78b52
Add shortcuts to start and stop the backend profiling (#8358) 
close #8329

Changelog:
- add: `cmd`+`shift`+`,` and `cmd`+`shift`+`.` shortcuts to start and stop the backend profiling. Profiling data is stored on disk.
2023-11-23 15:31:17 +00:00
..
assets/tags Refactor gui/src/rust/ide to two app/gui and app/ide-desktop (#3157) 2021-11-16 10:04:56 +01:00
contributing Fix prettier formatting. Also, a typo. 2022-04-19 08:05:30 +02:00
product Add shortcuts to start and stop the backend profiling (#8358) 2023-11-23 15:31:17 +00:00
CHANGELOG_TEMPLATE.md Refactor gui/src/rust/ide to two app/gui and app/ide-desktop (#3157) 2021-11-16 10:04:56 +01:00
CONTRIBUTING.md Use .node-version for pinning Node.js version (#6057) 2023-03-23 12:00:08 +00:00
README.md Refactor gui/src/rust/ide to two app/gui and app/ide-desktop (#3157) 2021-11-16 10:04:56 +01:00

README.md

layout title category tags
docs-index Enso IDE documentation summary
doc-index

Enso IDE documentation