On Fri, May 01, 2020 at 04:53:50AM +0200, Richard Kimberly Heck wrote: > commit 9a147255df735d35dd03c3279bdbb35e39678ce0 > Author: Richard Kimberly Heck <rikiheck at lyx.org> > Date: Thu Apr 30 21:58:14 2020 -0400 > > GUI for new counter inset. This is great stuff Riki! Pavel