4 commits

Author	SHA1	Message	Date
Aaron Gyes	492f9bb046	web config: buttons are <buttons> instead of <span>s. ... This is exactly what <button> is for, and we can remove some CSS.	2022-03-26 13:27:22 -07:00
ridiculousfish	2d1331e104	Tweak the styling of the abbreviation editor ... Removes the big white block of the input fields.	2015-06-13 22:56:45 -07:00
David Adam	a64c372a28	web_config: add support for adding and editing abbreviations ... Possible future enhancements include explanatory text and an image for the 'save' action. Work on #731.	2014-10-17 10:28:26 +08:00
David Adam	7764a1a6f8	web_config: add support for viewing abbreviations ... Add a new tab which lists the current abbreviations defined, by wrapping the `abbr` command. Work on #731.	2014-10-05 12:23:31 +08:00