John Zhen Mo
|
69374e25fe
|
-Fixed cursor position to point to end after search text insert.
-Reduced and slightly changed offset of search text insert image.
|
2017-11-14 15:58:13 -08:00 |
|
John Zhen Mo
|
5e16969d61
|
-Increased search item insert arrow click space.
|
2017-11-14 11:34:17 -08:00 |
|
John Zhen Mo
|
98e617001d
|
-Added search suggestion insert per #840.
|
2017-11-14 11:34:16 -08:00 |
Mauricio Colli
|
78cbfa20d9
|
Improve search
- Use a list instead of a popup
- Show search history entries
|
2017-09-28 10:06:48 -03:00 |