I am not sure if the "/ 1", "/ 2", "/ 3", "/ 4", "/ 5" postfixes are really helpful. Note that
(1) As Matthias noticed, the priority labels are sorted in the correct order without those prefixes. (2) The label text and the label color already indicate the priority. (3) The numeral postfix is somewhat confusing since "5" may be interpreted as the highest priority and "1" lowest. Matthias pointed out that we can choose the priority label by one key stroke (for example, you can type "1" to get "p: blocker / 1"). But why we insist to have the convenience that is absent for all other labels? -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/5e924913-827a-41c1-934b-7652679e3c92n%40googlegroups.com.
