software/mumi - Mediocre, uh, mail interface: mumi. A moderately prettier web frontend to Debbugs.

	Commit message (Collapse)	Author	Age	Files	Lines
*	js: Do not finish token on space when inside a prefixed phrase.	Ricardo Wurmus	2023-01-01	1	-1/+1
\|
*	js: Simplify query tokenizer.	Ricardo Wurmus	2023-01-01	1	-41/+1
\|
*	js: Tokenize pasted text.	Ricardo Wurmus	2023-01-01	1	-0/+7
\|
*	js: Move tokenizer code to function.	Ricardo Wurmus	2023-01-01	1	-11/+17
\|
*	js: Move constants out of function context.	Ricardo Wurmus	2023-01-01	1	-64/+64
\|
*	js: Don't append a trailing space to query.	Ricardo Wurmus	2023-01-01	1	-3/+1
\|
*	js: Ensure that input element is visible.	Ricardo Wurmus	2023-01-01	1	-0/+1
\| \| \| \|	Even when using the browser's back button after submission.
*	Move lines.js into mumi.js.	Ricardo Wurmus	2022-12-31	2	-13/+16
\|
*	Only act on clicks to the left of the line.	Ricardo Wurmus	2022-12-31	1	-1/+2
\| \| \| \|	Ignore clicks on the line itself.
*	Add JavaScript to recognize and style query tokens.	Ricardo Wurmus	2022-12-31	2	-14/+1655
\|
*	Fix table sort of dates.	Ricardo Wurmus	2022-12-24	1	-0/+14
\| \| \| \|	Fixes <https://issues.guix.gnu.org/47739>.
*	Activate theme switcher as soon as the body tag exists.	Ricardo Wurmus	2022-12-24	1	-7/+5
\|
*	Reduce page weight by simplifying line number anchors.	Ricardo Wurmus	2022-12-24	1	-0/+12
\| \| \| \| \| \| \| \|	For large issues with many lines the DOM becomes littered with anchors that slow down rendering significantly. Dropping the anchor tags cuts the page size in half and speeds up rendering. We can still address lines by their identifiers, but to act on clicks we need a little bit of JavaScript.
*	Add dark/light theme switcher.	Ricardo Wurmus	2022-12-20	1	-0/+101
\|
*	Make tables sortable.	Ricardo Wurmus	2020-04-01	1	-0/+298
\|
*	Update styles.	Ricardo Wurmus	2019-07-11	1	-2/+2
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	* assets/css/bootstrap.css: Replace with Bootstrap 4.1.1. * assets/css/screen.scm: Remove obsolete rules. * assets/img/logo.png: Use same logo as on ci.guix.gnu.org. * assets/js/mumi.js (loadSnippet): Replace outer HTML. * mumi/config.scm.in (%config): Add submission-bug-email-address. * mumi/web/view/html.scm (layout, search-form, header, index, issue-page): Adjust CSS classes. (index): Mention submission-bug-email-address; merge tables of recent/priority bugs. (issue-page): Use DL/DD/DT instead of UL for issue stats. (list-of-bugs): Return only table rows. (priority-bugs): Same. (list-of-matching-bugs): Adjust by adding table and table header. * mumi/web/controller.scm (controller): Adjust use of PRIORITY-BUGS.
*	controller: Load expensive lists via JavaScript	Ricardo Wurmus	2019-02-01	1	-0/+19
	* mumi/web/controller.scm (controller): Add routes for rendering snippets. * mumi/web/view/html.scm (list-of-bugs): Export; add severity class. (priority-bugs): New procedure. (index): Add sections for priority bugs. * assets/js/mumi.js: New file. * assets/css/screen.css: Color serious and important bugs.