Hi,
thanks for your work!
Just a minor bug I encounter on my Ubuntu 18.04.
There seems to be an issue with the font rendering for the menu entries:
There are small artifacts e.g. when you look at the “Move to Notebook” entry. Not sure what causes that but happens throughout all menus (also right-click context menu), don’t encounter it in vscode or other electron apps.
Maybe it is solved when upgrading to electron@2.x as they have improved the gtk integration: https://electronjs.org/releases#2.0.0
(Or it is an issue caused by the set font?)
Cheers,