Restore navigator dock
Navigator bug fixes and improvements

Fix focus rectangle drawing (now works with rotated views.)
Update only once a second.
Add spinbox for changing view rotation angle.