What's new for users

This release mainly reorganizes the main menu to allow more space for the search bar.

Number of use is now using the appropriate color defined by the plugin

What's new for developers

New IShortcutReceiver interface to handle keyboard shortcut

 

Download