bug fix

1. read only document allow edit title issue
2. move splitter not trigger webview resize issue
3. GUI font size issue on linux