Re: [sword-devel] sword-devel Digest, Vol 101, Issue 35

2012-08-15 Thread Manfred Bergmann
Hi Joachim. Sure. If you have any questions, just let me know. My plans for the near future are: - replace the PSMTabBarControl with a newer version which doesn't use private API. - add support for Gatekeeper (sign the app) - add some cleanups and refactorings to session management - put it on Ma

Re: [sword-devel] sword-devel Digest, Vol 101, Issue 35

2012-08-15 Thread Joachim Ansorg
Hi Manfred, you are right, it is possible to filter the list of entries of a dictionary by entering text in the location input. I expected to see the filter above the list of keys but did not try to enter text in the box at the top of the window (I have to look at the filtered list on the right