Merge pull request #77 from Zuko/master

Updated Polish translation
Implemented editing of preferences while connected to server.
More improvements to settings update code.
Make some settings immutable when connected to a server.
Disable theme modification when connected.
Fixed crash bug with proximity and editing settings while connected.
Added fullscreen option for dual-pane.
Polish translation
Searching/sorting crash fix
IME (search) options for edittext