Related: fdo#40778 use simple pushbutton for add to single user dict
for "add" an unknown word to user-defined dictionaries a) use a normal button when there's only one user-defined dictionary b) use a dropdown when there's more than one user-defined dictionary Change-Id: I8a8eb3fff6c4582341d8322df403b73a517a5560
Showing
Please
register
or
sign in
to comment