Enhancements

• Custom tools: A new property allows to set the background color of the item. (#16)
• Custom tools: A new Toolbar button has for effect to terminate the process associated to a tool. (#15)
• Messages, added an option, enabled by default, allowing to highlight the blocks enclosed by backticks. This works for the "find all" action, the compiler output, the custom tools output, etc. (#13)

Bugs fixed

• Editor, Calltips: the position of the window was incorrect when the arguments stood on several lines. (#10)
• Terminal, UI: the scrollbar lacked of accuracy. (#11)

Other

• project CI: the release process is now fully automated, allowing painless and more frequent releases.