tophf 2fdfd96699 use the new originalDigest in update UI ... ...when force-updating a locally edited style that turned out to be equal to the remote one fixes #482		2018-08-27 20:39:36 +03:00
..
config-dialog.css	rewrite colorview to use CodeMirror::TextMarker	2017-12-22 11:22:35 +03:00
config-dialog.js	actually use 'pre' font for code errors in messageBox.alert/confirm	2018-03-11 16:31:25 +03:00
filters.js	autosize filters only if the width > 0	2018-07-07 20:47:00 +03:00
import-export.js	simplify manage:export code	2018-08-02 15:52:34 +03:00
incremental-search.js	disable incremental search when #message-box is shown	2017-12-22 10:53:22 +03:00
manage.css	emphasize data-skipped-edited main status message	2018-08-27 17:20:48 +03:00
manage.js	code cosmetics: use :: for pseudo elements	2018-08-27 17:20:48 +03:00
object-diff.js	code cosmetics: split manage.js	2017-08-16 08:18:23 +03:00
sort.js	set even/odd class based on html { --columns: # } variable	2018-05-16 03:53:38 +03:00
updater-ui.js	use the new originalDigest in update UI	2018-08-27 20:39:36 +03:00