53 if replace: |
53 if replace: |
54 from .Ui_ReplaceWidget import Ui_ReplaceWidget |
54 from .Ui_ReplaceWidget import Ui_ReplaceWidget |
55 self.replaceHistory = vm.getSRHistory('replace') |
55 self.replaceHistory = vm.getSRHistory('replace') |
56 self.ui = Ui_ReplaceWidget() |
56 self.ui = Ui_ReplaceWidget() |
57 whatsThis = self.tr( |
57 whatsThis = self.tr( |
58 r"""<b>Find and Replace</b> |
58 r"""<b>Find and Replace</b> |
59 <p>This dialog is used to find some text and replace it with another text. |
59 <p>This dialog is used to find some text and replace it with another text. |
60 By checking the various checkboxes, the search can be made more specific. |
60 By checking the various checkboxes, the search can be made more specific. |
61 The search string might be a regular expression. In a regular expression, |
61 The search string might be a regular expression. In a regular expression, |
62 special characters interpreted are:</p> |
62 special characters interpreted are:</p> |
63 """ |
63 """ |
64 ) |
64 ) |
65 else: |
65 else: |
66 from .Ui_SearchWidget import Ui_SearchWidget |
66 from .Ui_SearchWidget import Ui_SearchWidget |
67 self.ui = Ui_SearchWidget() |
67 self.ui = Ui_SearchWidget() |
68 whatsThis = self.tr( |
68 whatsThis = self.tr( |
69 r"""<b>Find</b> |
69 r"""<b>Find</b> |
70 <p>This dialog is used to find some text. By checking the various checkboxes, |
70 <p>This dialog is used to find some text. By checking the various checkboxes, |
71 the search can be made more specific. The search string might be a regular |
71 the search can be made more specific. The search string might be a regular |
72 expression. In a regular expression, special characters interpreted are:</p> |
72 expression. In a regular expression, special characters interpreted are:</p> |
73 """ |
73 """ |
74 ) |
74 ) |
75 self.ui.setupUi(self) |
75 self.ui.setupUi(self) |
76 if not replace: |
76 if not replace: |
77 self.ui.wrapCheckBox.setChecked(True) |
77 self.ui.wrapCheckBox.setChecked(True) |
78 |
78 |
79 whatsThis += self.tr( |
79 whatsThis += self.tr( |
80 r"""<table border="0"> |
80 r"""<table border="0"> |
81 <tr><td><code>.</code></td><td>Matches any character</td></tr> |
81 <tr><td><code>.</code></td><td>Matches any character</td></tr> |
82 <tr><td><code>\(</code></td><td>This marks the start of a region for tagging a |
82 <tr><td><code>\(</code></td><td>This marks the start of a region for tagging a |
83 match.</td></tr> |
83 match.</td></tr> |
84 <tr><td><code>\)</code></td><td>This marks the end of a tagged region. |
84 <tr><td><code>\)</code></td><td>This marks the end of a tagged region. |
85 </td></tr> |
85 </td></tr> |
524 ok = False |
524 ok = False |
525 elif (lineFrom == boundary[0] and |
525 elif (lineFrom == boundary[0] and |
526 indexFrom >= boundary[1]) or \ |
526 indexFrom >= boundary[1]) or \ |
527 (lineFrom > boundary[0] and |
527 (lineFrom > boundary[0] and |
528 lineFrom < boundary[2]) or \ |
528 lineFrom < boundary[2]) or \ |
529 (lineFrom == boundary[2] |
529 (lineFrom == boundary[2] and |
530 and indexFrom <= boundary[3]): |
530 indexFrom <= boundary[3]): |
531 ok = True |
531 ok = True |
532 else: |
532 else: |
533 ok = False |
533 ok = False |
534 else: |
534 else: |
535 ok = False |
535 ok = False |