comparison: eric6/Documentation/Source/eric6.E5Gui.E5TextEditSearchWidget.html
eric6/Documentation/Source/eric6.E5Gui.E5TextEditSearchWidget.html
- changeset 7989
- a21d673a8f99
- parent 7631
- 2c7ccb4484bf
- child 8268
- 6b8128e0c9d1
equal
deleted
inserted
replaced
223 <dd> |
223 <dd> |
224 flag indicating a backwards search |
224 flag indicating a backwards search |
225 </dd> |
225 </dd> |
226 </dl> |
226 </dl> |
227 <dl> |
227 <dl> |
228 <dt>Returns:</dt> |
228 <dt>Return:</dt> |
229 <dd> |
229 <dd> |
230 flag indicating the search result |
230 flag indicating the search result |
231 </dd> |
231 </dd> |
232 </dl> |
232 </dl> |
233 <dl> |
233 <dl> |