mirror of
https://github.com/enso-org/enso.git
synced 2024-12-25 03:02:08 +03:00
ce78f9825d
* New JSON profile format. * Use string-table optimization for labels in JSON format. * Use TimeOffset header to render beanpoles * Log RPC messages sent to the backend. * Display RPC requests on graph * Simplify metadata-logging interface. |
||
---|---|---|
.. | ||
gui | ||
ide-desktop |