Disable bookmark menu items when unavailable
The code formatter does not support haxe
Don't require bookmarks to be added through TabbedDocument by listening to OnMarkerChanged()
Kill running process when FD is closed, closes #82
Merge pull request #459 from Gama11/SocketInUseAndroid

Kill running process when FD is closed, closes #82
Merge pull request #452 from Gama11/DisableMenuItems

Disable bookmark menu items when unavailable + the code formatter for Haxe (closes #211)