software/mumi.git
13 months agoxapian: Join terms with AND by default.
Ricardo Wurmus [Sat, 9 May 2020 22:52:24 +0000 (00:52 +0200)] 
xapian: Join terms with AND by default.

* mumi/xapian.scm (parse-query*): Set default operation to AND.

13 months agocss: Add a bit of space between the file icon and the attachment name.
Ricardo Wurmus [Sat, 9 May 2020 14:45:34 +0000 (16:45 +0200)] 
css: Add a bit of space between the file icon and the attachment name.

13 months agocss: Don't let the sidebar cover the search hints.
Ricardo Wurmus [Sat, 9 May 2020 14:45:17 +0000 (16:45 +0200)] 
css: Don't let the sidebar cover the search hints.

13 months agohtml: Add a sidebar to quickly jump to messages.
Ricardo Wurmus [Thu, 7 May 2020 13:23:22 +0000 (15:23 +0200)] 
html: Add a sidebar to quickly jump to messages.

13 months agoview/utils: Remove obsolete module import.
Ricardo Wurmus [Thu, 7 May 2020 12:58:37 +0000 (14:58 +0200)] 
view/utils: Remove obsolete module import.

13 months agoRevert "debbugs: Simplify mbox processing."
Ricardo Wurmus [Thu, 7 May 2020 12:50:53 +0000 (14:50 +0200)] 
Revert "debbugs: Simplify mbox processing."

This reverts commit e0dc3c668ff23c2a5abd580ef9cee5d6414123cc.

13 months agocss: Merge code and screen CSS files.
Ricardo Wurmus [Thu, 7 May 2020 12:48:53 +0000 (14:48 +0200)] 
css: Merge code and screen CSS files.

13 months agocss: Fix font color in search hints.
Ricardo Wurmus [Thu, 7 May 2020 12:45:45 +0000 (14:45 +0200)] 
css: Fix font color in search hints.

13 months agodebbugs: Simplify mbox processing.
Ricardo Wurmus [Thu, 7 May 2020 12:10:02 +0000 (14:10 +0200)] 
debbugs: Simplify mbox processing.

* mumi/debbugs.scm (read-emails-from-bug-log): Use mbox->emails
instead of dropping lines haphazardly.

13 months agoview: Generate blocks of lines and style the blocks.
Ricardo Wurmus [Thu, 7 May 2020 12:03:55 +0000 (14:03 +0200)] 
view: Generate blocks of lines and style the blocks.

This allows us to toggle the display of lines that belong together.

* mumi/web/view/utils.scm (<block>): New record type.
(add-block-line!): New procedure.
(process): Take the list of blocks as an argument; return the new
blocks and the next context.
(prettify): Render blocks with classes derived from the block type.
* assets/css/screen.css: Adjust.

13 months agoview: Define comment-box.
Ricardo Wurmus [Wed, 6 May 2020 09:05:53 +0000 (11:05 +0200)] 
view: Define comment-box.

13 months agoview: Define issue details.
Ricardo Wurmus [Wed, 6 May 2020 09:02:59 +0000 (11:02 +0200)] 
view: Define issue details.

13 months agoview: Reduce size of h1 heading on issue pages.
Ricardo Wurmus [Wed, 6 May 2020 09:00:07 +0000 (11:00 +0200)] 
view: Reduce size of h1 heading on issue pages.

13 months agoview: Make navigation sticky and hide title on narrow screens.
Ricardo Wurmus [Tue, 5 May 2020 20:47:20 +0000 (22:47 +0200)] 
view: Make navigation sticky and hide title on narrow screens.

13 months agoview: Show issue title in fixed top bar.
Ricardo Wurmus [Tue, 5 May 2020 13:18:35 +0000 (15:18 +0200)] 
view: Show issue title in fixed top bar.

13 months agocss: Shrink h1 font size on smaller screens.
Ricardo Wurmus [Tue, 5 May 2020 13:02:19 +0000 (15:02 +0200)] 
css: Shrink h1 font size on smaller screens.

13 months agoview: Hide details by default.
Ricardo Wurmus [Tue, 5 May 2020 13:02:03 +0000 (15:02 +0200)] 
view: Hide details by default.

13 months agoview/html: Move script tag into body and remove type.
Ricardo Wurmus [Fri, 1 May 2020 21:14:01 +0000 (23:14 +0200)] 
view/html: Move script tag into body and remove type.

* mumi/web/view/html.scm (layout): Move script tag into body and
remove unnecessary type attribute.

13 months agoview/html: Declare language on HTML tag, not in a meta tag.
Ricardo Wurmus [Fri, 1 May 2020 21:12:47 +0000 (23:12 +0200)] 
view/html: Declare language on HTML tag, not in a meta tag.

* mumi/web/view/html.scm (layout): Add "lang" attribute to HTML tag;
remove Content-Language meta tag.

13 months agohtml: Generate only short issue URLs.
Ricardo Wurmus [Thu, 23 Apr 2020 05:45:45 +0000 (07:45 +0200)] 
html: Generate only short issue URLs.

13 months agodebbugs: Ignore duplicate mails.
Ricardo Wurmus [Thu, 23 Apr 2020 05:44:20 +0000 (07:44 +0200)] 
debbugs: Ignore duplicate mails.

Debbugs records mails that are received via different addresses more
than once, so we only add them if the message id is new.

13 months agocss: Reduce message margin and padding.
Ricardo Wurmus [Thu, 23 Apr 2020 05:43:46 +0000 (07:43 +0200)] 
css: Reduce message margin and padding.

13 months agoutils: Simplify prettify.
Ricardo Wurmus [Wed, 22 Apr 2020 22:26:14 +0000 (00:26 +0200)] 
utils: Simplify prettify.

13 months agohtml: Add search hints.
Ricardo Wurmus [Wed, 22 Apr