On Sun, 2016-01-17 at 18:49 +0000, Allan Day wrote: > Having a dictionary is nice, particularly if it has a search > provider. > But it's also not essential, so if our dictionary isn't up to scratch > it wouldn't be the end of the world not to have it in the default > install.
Oh my, turns out Dictionary got quietly redesigned for 3.18... probably the biggest GNOME-related surprise I've seen in quite some time. There are a couple rough edges, but it's actually pretty good now. I suppose I had not opened it since 3.16. I now regret instigating its removal from core. This is worth reconsidering. Let's plan to add a search provider, indeed. Michael _______________________________________________ [email protected] https://mail.gnome.org/mailman/listinfo/release-team Release-team lurker? Do NOT participate in discussions.
