|
| From: | Nicolas Goaziou |
| Subject: | Re: [O] Priorities do not work on lists |
| Date: | Fri, 25 May 2012 20:28:38 +0200 |
Hello, Enda <address@hidden> writes: > Yet, they are colored as such if they are typed in manually. This shouldn't happen anymore with latest commit. Can you confirm it? Thanks for reporting this. Regards, -- Nicolas Goaziou
| [Prev in Thread] | Current Thread | [Next in Thread] |