April 13, 2011
7:14 a.m.
Comment #3 on issue 3991 by stephane...@gmail.com: use them instead of UITheme current http://code.google.com/p/pharo/issues/detail?id=3991 in 13146