added arrow control over workspaces
added fix for java gui
smart borders