Am Sonntag, den 03.05.2020, 02:12 +0200 schrieb Richard Kimberly Heck:
> diff --git a/src/insets/InsetCounter.cpp
> b/src/insets/InsetCounter.cpp
>
> index 32f7c64..a6e4d0d 100644
>
> --- a/src/insets/InsetCounter.cpp
>
> +++ b/src/insets/InsetCounter.cpp
>
> @@ -60,12 +60,11 @@
commit c37500050d267177ace194ba8a95f67c6b0f15c2
Author: Richard Kimberly Heck
Date: Sat May 2 20:33:03 2020 -0400
More polishing of counter dialog. Thanks to Jürgen for help.
Also, remove the 'display value' option. We will move this to InsetInfo
at some point.
---
