User Tools

Site Tools


doc:en:search

====== Differences ====== This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision Both sides next revision
doc:en:search [2020/06/18 13:14]
rosmord [Searching in the current document]
doc:en:search [2020/06/18 13:16]
rosmord
Line 26: Line 26:
 {{ :​doc:​en:​finddialog1.png?​nolink |Simple search}} {{ :​doc:​en:​finddialog1.png?​nolink |Simple search}}
  
 +By default, the search will look for //​sequences//​ of signs, regardless of their layout. If you want to search
 +for a specific layout, check the **Whole Quadrant Match** box.
doc/en/search.txt ยท Last modified: 2020/06/18 14:04 by rosmord