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
..
dom.js	make showCodeMirrorPopup modal	2018-07-22 19:37:49 +03:00
localization.js	don't add soft hyphens at the end of text	2017-12-29 23:37:17 +03:00
messaging.js	code cosmetics: pacify eslint	2018-07-21 21:04:47 +03:00
moz-parser.js	restore Chrome 49 compatibility: remove "u" flag in RegExp	2018-02-28 05:15:28 +03:00
prefs.js	expose 'preserve_newlines' in beautifier; dehtmlize	2018-07-23 00:28:11 +03:00
script-loader.js	onDOMscriptReady: notify all matching subscribers	2017-12-08 21:55:08 +03:00
sections-equal.js	use the new originalDigest in update UI	2018-08-27 20:39:36 +03:00
storage-util.js	Update libraries (#440)	2018-07-21 20:58:54 +03:00
usercss.js	Update libraries (#440)	2018-07-21 20:58:54 +03:00