Merge branch 'release/v0.5.0' into develop
Optimized the way markers are displayed on selection changed.
Selection filtering with the timeline marker
Selection filtering with time range
Clicking random point does not deselect all the rectangles. Need to right-click and "deselect all rectangles" explicitly.
Merge branch 'feature/selection_filtering' into develop
Avoid code history diff view update running concurrently, using UIJob and custom ISchedulingRule.
Removed obsolete elements in .html/.css
Show All Files Edited Together -> Show All Files In This Range
Vertical scroll fixed.
Added some methods into exported list.
Don't print the stack trace when the source file is not found in he project.
Small design changes.
Null check
Removed "Undo everything after selection" menu
Display the highlight better by re-ordering the rectangles
File lines width: 2 -> 1
File labels font: Courier
No rounded rectangles for the file names
Rectangle toggle bug fix
Minor menu name change.
Bugfix: plug-in side code not being called.