Am 12.10.21 um 22:06 schrieb Arrigo Marchiori:
On Mon, Oct 11, 2021 at 04:53:56PM +0200, Czesław Wolański wrote:
Recently a user on the English forum inquired how one can change the font
size in a comment box in Draw [1].
He was given the obvious workaround tip and then the discussion started
Dear all,
On Mon, Oct 11, 2021 at 04:53:56PM +0200, Czesław Wolański wrote:
> Hi,
>
> Recently a user on the English forum inquired how one can change the font
> size in a comment box in Draw [1].
> He was given the obvious workaround tip and then the discussion started on
> how to access the co
