Some useful features#45

Open

AndyWing wants to merge 17 commits intotibagni:masterfrom

lovewing:master

Commits on Aug 17, 2023

Add picked log panel
Andy Wang
committed
Support global custom font setting
Andy Wang
committed
Make the scroll to visible go to the center pos
Andy Wang
committed

Commits on Aug 18, 2023

Update linenumber width according to max log index
Andy Wang
committed
Jump to filter log pos when double click in all logs

AndyWing
authored and
Andy Wang
committed
Do not scroll to first pos after performed search action
AndyWing
committed

Commits on Aug 21, 2023

Speedup the search action
AndyWing
committed

Commits on Aug 24, 2023

Commits on Aug 25, 2023

Commits on Aug 28, 2023

Commits on May 17, 2024

Support filter pid in filtered log panel
AndyWing
committed