| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Mon Mar 17 11:03:46 EST 2003 |
|
At Fri, 14 Mar 2003 18:19:51 +0100, Erich Rast wrote: > As it seems, text% does not remember style changes like one might > expect when the selection is empty. [...] > > Question: Can anyone confirm this? Is it a bug or is it supposed to be > a feature? Bug. Fixed in CVS. Matthew
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}