diff clients/editor/plugins/layertool.py @ 231:c62ed457e954

Case-insensitive multi-word search
author cheesesucker@33b003aa-7bff-0310-803a-e67f0ece8222
date Sat, 21 Mar 2009 23:26:09 +0000
parents 2a80f7d9aede
children 561751c094b8
line wrap: on
line diff