0
0
mirror of https://github.com/yse/easy_profiler.git synced 2024-12-28 01:04:41 +08:00

3 Commits

Author SHA1 Message Date
Victor Zarubkin
92a5ca4a75 Big bunch of changes:
* update copyright
* fix css parsing
* fix block name search
* add matching text highlighing for find results
* add calculation of block statistics for selected area
* new action: right-click on a block on "Diagram" selects region using left and right bounds of this block
* other optimizations
2019-10-20 16:12:37 +03:00
Victor Zarubkin
f9c0b7dc7a #67 [Converter] Rewrote json converter, arbitrary values would be added soon 2018-04-05 01:08:18 +03:00
derevnja
647eced7d2 Add command line tool (profiler_converter) for converting to json format
related to #67
2018-02-07 19:11:12 +03:00