stylus/manage
2018-09-24 07:02:04 -05:00
..
config-dialog.css Remove unnecessary css 2018-09-24 07:02:04 -05:00
config-dialog.js Alas, poor clamp! I knew it well 2018-09-24 07:02:04 -05:00
filters.js autosize filters only if the width > 0 2018-07-07 20:47:00 +03:00
import-export.js rename OK to Close in the import notification 2018-09-04 00:36:56 +03:00
incremental-search.js disable incremental search when #message-box is shown 2017-12-22 10:53:22 +03:00
manage.css make the hover effect less CPU-hungry 2018-08-28 20:24:43 +03:00
manage.js refresh the just edited style entry after history back 2018-08-30 09:23:55 +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