Am Montag, den 07.05.2018, 12:27 -0400 schrieb Richard Kimberly Heck:
> On 05/07/2018 08:56 AM, Jürgen Spitzmüller wrote:
> > Dear all
> >
> > After having reworked the dialog and the manual, I propose to
> > rename
> > everything related to the character dialog "Text Properties"
> > (instead
> >
On 07.05.2018 18:27, Richard Kimberly Heck wrote:
On 05/07/2018 08:56 AM, Jürgen Spitzmüller wrote:
Dear all
After having reworked the dialog and the manual, I propose to rename
everything related to the character dialog "Text Properties" (instead
of "Text Style").
The reason is that almost
On 05/07/2018 08:56 AM, Jürgen Spitzmüller wrote:
> Dear all
>
> After having reworked the dialog and the manual, I propose to rename
> everything related to the character dialog "Text Properties" (instead
> of "Text Style").
>
> The reason is that almost everyhing set there (except for noun and
>
Am Montag, 7. Mai 2018 14:56:45 CEST schrieb Jürgen Spitzmüller :
> Dear all
>
> After having reworked the dialog and the manual, I propose to rename
> everything related to the character dialog "Text Properties" (instead of
> "Text Style").
>
> The reason is that almost everyhing set there (exce
Dear all
After having reworked the dialog and the manual, I propose to rename
everything related to the character dialog "Text Properties" (instead of
"Text Style").
The reason is that almost everyhing set there (except for noun and emph,
the only real text styles proper) is static (formal) marku
