Artifact d7490c0d31e01bc010b43adb25b92e9383a36ece58140ff1fd581f94a1ee0980:

• File src/style.c — part of check-in [ee175636aa] at 2020-05-10 08:47:53 on branch fileedit-ajaxify — Several small style tweaks. Changed style_labeled_checkbox() parameter order for better readability. TabManager class now supports events alerting before/after a tab is switched to. Added auto-refresh of preview when the preview tab is activated, with a checkbox to disable it for slow connections and/or large documents (the refresh button still works as before). (user: stephan size: 49774)

A hex dump of this file is not available. Please download the raw binary file and generate a hex dump yourself.