tree bc172f9b4fab67c21610fd7a8228b166eeb89689
parent b62b548fcf5fffc14cd6604565608dfc2f2b427e
author Dani Megert <dmegert> 1285773711 +0000
committer Dani Megert <dmegert> 1285773711 +0000

Committed Deepak's patch to fix bug 257313: [preferences][painting] More options to configure "Show Whitespace Characters"