3party/easy_profiler
0
0
Fork 0
mirror of https://github.com/yse/easy_profiler.git synced 2024-12-27 00:31:02 +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
b29113f70b refactor and windowheader title 2019-11-27 19:08:55 +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
0ae430410d #106 [Core][UI] Added possibility to add user bookmarks with double-clicking on a timeline in the Diagram window. 
#112 [UI] Fixed losing focus (and getting under MainWindow) for Blocks widget.
#0 [UI] UI styling, added custom window header and dialogs (could be turned off/on and adjusted position at [Settings -> Appearance] menu).
 2018-06-09 02:18:39 +03:00