3party/easy_profiler
0
0
Fork 0
mirror of https://github.com/yse/easy_profiler.git synced 2025-01-13 16:17:55 +08:00
Code Issues Projects Releases Wiki Activity
982 Commits 1 Branch 11 Tags 3.7 MiB
Commit Graph

3 Commits

Author SHA1 Message Date
Victor Zarubkin
0dc5a71aad [ui] rearrange settings; some renames 2019-10-27 14:27:53 +03:00
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
c5ba69c8bc #31 [UI] Amend. Forgotten files. 2018-03-29 08:13:37 +03:00