This is a bug-fixing update :
- Fixed. The previous printer symbol used in the ui is not found in certain non-Windows platforms.
- Changed. Use fixed width for the filename shown on the ui, so that the main menu item positions won't be shifted with different files.
- Fixed. Filenames without extension are now skipped and won't be included in Recent Files.
- Fixed. After performing Convert To Abs/Rel Url, the css pathname as shown in the Doc Stylesheet ui tooltip should be updated immediately.
- Fixed. Very minor cosmetic changes to the ui.