...search is run by pressing 'enter', not a separate button.
No, not either or, both. That button needs to be there for devices which don't have keys, and for people that aren't computer savvy and don't know keyboard shortcuts.
On a computer, which has a keyboard, pressing the enter key is faster and easier than pressing the button.
On a touch device such as a smart phone or tablet, the reverse is usually true.
-- mu'o mi'e .aionys.
.i.e'ucai ko cmima lo pilno be denpa bu .i doi.luk. mi patfu do zo'o (Come to the Dot Side! Luke, I am your father. :D )
--
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.