On the video player controls, it would be visually helpful if the timeline bar to the left of the current time indicator (the orange dot) were also rendered in orange, to help draw the eye to the current time dot (orange = look right, gray = look left).

As it currently stands, it can be hard to visually locate the orange dot on the timeline.

For reference, see YouTube player controls.

<im

Probably the lint plugin. Due to this plugin, when you edit a code file like .py, on exit it tries to run lint operation and it hangs a lot of times.