GNOME Bugzilla – Bug 721976
Evaluate the need for two ways of searching within the media library and the effect library
Last modified: 2015-10-20 12:58:04 UTC
Hi, Reading the manual I see that there are two ways of doing searches within the media/effects library : 1) a featureful search tool using the dedicated field at the top of the pane (allowing to search for a string within clips names) 2) a truncated search tool that is automatically displayed at the bottom of the pane while starting to key, limited to the beginning of clips names Is it a good idea to provide two similar tools, each one with different possibilities ? I wander if it doesn't create an uneeded complexity, considering that it's not obvious for users that each tool has it own logic Thanks
Thanks for your constructive feedback ! I understand and agree with your point, we should check if it is possible to override the basic search feature in treeviews. As for the media library, we will use grilo at some point and that will certainly lead to a certain amount of redesigning.
Ah, I was thinking of declaring this a "wontfix" all this time, thinking "Why would I want to go out of my way to disable gtk's native typeahead find?" ...but the way Mathieu presents it, it sounds like the proposed feature would be to hijack keystrokes and pass that to our existing filtering search... which *could* make sense, but I'm not so sure about that (ex: interaction "accidents"). On a separate note, for the record, I am opposed to hiding the search entry widget like what gnome3 apps do (that way lies madness :)
...and frankly this is yet another case of "I don't care until we've replaced everything by flowbox in bug #708332 because this might be made obsolete"
This bug has been migrated to https://phabricator.freedesktop.org/T3139. Please use the Phabricator interface to report further bugs by creating a task and associating it with Project: Pitivi. See http://wiki.pitivi.org/wiki/Bug_reporting for details.