dolphin/src/panels/facets, branch master Patched KDE Dolphin with Pixel Scaling https://fiftyfourth.xyz/git/dolphin/atom?h=master 2010-10-27T13:35:24Z Rename FacetPanel to FilterPanel so that the name reflects the headline. 2010-10-27T13:35:24Z Peter Penz peter.penz19@gmail.com 2010-10-27T13:35:24Z urn:sha1:90d6867a5e892fb34c0dd6706d96a039572449b4 svn path=/trunk/KDE/kdebase/apps/; revision=1190370 Apply the facets-patch written by Sebastian Trüg, which allows to filter search results in a very comfortable way. A lot of finetuning is necessary (e.g. the custom filter-prototypes from Dolphin will get removed etc). This will be done during the next weeks. 2010-10-26T13:11:37Z Peter Penz peter.penz19@gmail.com 2010-10-26T13:11:37Z urn:sha1:537ad8a89186a2119ddc8b41b60b6888b62495fa svn path=/trunk/KDE/kdebase/apps/; revision=1189951