GNU bug report logs - #64428
[PATCH] Fix flymake mode line scrolling with pixel-scroll-precision-mode

Previous Next

Full log

Message #37 received at 64428-done <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: João Távora <joaotavora <at> gmail.com>
Cc: sbaugh <at> catern.com, 64428-done <at> debbugs.gnu.org, sbaugh <at> janestreet.com
Subject: Re: bug#64428: [PATCH] Fix flymake mode line scrolling with
 pixel-scroll-precision-mode
Date: Thu, 13 Jul 2023 17:00:43 +0300

> From: João Távora <joaotavora <at> gmail.com>
> Date: Thu, 13 Jul 2023 09:12:33 +0100
> Cc: sbaugh <at> catern.com, Spencer Baugh <sbaugh <at> janestreet.com>, 64428 <at> debbugs.gnu.org
> 
>  Any reasons not to make them public and add doc strings?
> 
> If you can give a reasonable example of sonething the general public would want to do with them, ok. 
> Until then, I think public interfaces should be kept small.
> 
> Yes, it's good for pushing.

Thanks, installed on master, and closing the bug.

Spencer, please in the future try to follow closer our conventions of
formatting commit log messages.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.