tophf e5a557369b vertically center the labels ... this also fixes the bug with covering the descender in letters like "g" when the label is shown in the second row of a style name due to wrapping		2018-07-30 11:45:33 +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	add a workaround for Chrome 65 bug https://crbug.com/714373	2018-01-07 15:12:14 +03:00
incremental-search.js	disable incremental search when #message-box is shown	2017-12-22 10:53:22 +03:00
manage.css	vertically center the labels	2018-07-30 11:45:33 +03:00
manage.js	code cosmetics: combine and simplify	2018-07-28 23:39:49 +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	filters affect striping, not the sort order	2018-05-15 12:21:30 +03:00