]> i11git.iti.kit.edu Git - Misc/ipe.git/search
now only paths that are visible are modified (one can still get the old behaviour...