[Allegro] Eckige Klammern in Flips

[Bernhard Eversberg]

Thomas Berger schrieb:

> Eckige Klammern sind eine implizite, nicht abschalt- oder
> veraenderbare Flip-Markierung.

Das stimmt. Dieses (Mis)Feature geht auf eine unreife Version
zurück, wo noch mit dem Flip-Konzept experimentiert wurde.
Wenn sich keine Gegenstimmen erheben, werden wir es abschaffen.
Ich vermute mal, daß kaum jemand heute noch eckige Klammern
wirklich für diesen Zweck einsetzt.

B.E.