Update of bug #31788 (project denemo):
Status:None = Invalid
___
Follow-up Comment #1:
If Gtk supports this case-insensitive navigation then it will be something
that can be set as
Follow-up Comment #1, bug #31515 (project denemo):
GtkFileFilter is the widget being used here. Requires looking at its
properties.
___
Reply to this item at:
http://savannah.gnu.org/bugs/?31515
Update of bug #31053 (project denemo):
Status: Postponed = Fixed
Assigned to:None = rshann
Open/Closed:Open = Closed
Update of bug #30189 (project denemo):
Status:None = Fixed
Open/Closed:Open = Closed
___
Follow-up Comment #6:
Created keyboard
Follow-up Comment #4, bug #31549 (project denemo):
Nothing new here.
This is just a reposting of the version I submitted before savannah was down.
This is believed to be bug-free enough to use, and this is just put up to
replace what vanished and so you know this can be closed now.
No need to
Update of bug #31558 (project denemo):
Status: In Progress = Fixed
___
Follow-up Comment #4:
This is indeed in git, thanks.
___