899916c0fb
(trunk-1552) Merge search bar wrap toggle from Christophe Bourez
2015-06-21 17:57:14 +02:00
b549f43834
Fix search broken by port because returns are now different (gtk2->gtk3 and vte 0.36 -> 0.38)
2015-06-21 04:23:52 +02:00
22ed84abdd
Apply terminator-gtk3-vte038-v4.patch from Egmont Koblinger
2014-09-19 16:10:43 +02:00
7ca6dd96c6
Changes made by pygi-convert.sh
2014-09-19 16:08:08 +02:00
00a887dd91
fix searching and make it use regexps. Roberto Aguilar
2011-08-20 13:19:18 +01:00
4085aecb1d
Fixes search endless loop when scrollback is negative.
2011-04-09 00:32:52 +02:00
32de71d018
Updated code so search can be done with regex.
2011-03-22 00:05:38 -07:00
189cce4507
Updated call to get_text_range() for search to work.
...
Instead of using -1 to indicate the last character of a line, search the
current row up to the next row. This appears to fix the search box for ubuntu
10.10.
2011-03-21 22:57:18 -07:00
949dc81574
Clear up some import errors found by pyflakes
2010-01-11 20:03:54 +00:00
6b4c660cbc
Start implementing our Paned container and switch to it
2009-11-07 01:40:43 +00:00
55c79f56d5
remove some cruft and replace the hacky backwards search with a more correct one. There are still some issues though
2009-11-04 20:41:01 +00:00
8d19561f85
fix up Terminal some more and make the searching work, and include a hacky backwards search
2009-11-04 18:06:34 +00:00
428f931bf3
oops, don't show the searchbar by default
2009-08-19 19:00:33 +01:00
09780a6500
Use the correct gobject init call
2009-08-19 01:05:30 +01:00
089b708e2c
shut pylint up
2009-08-18 13:51:09 +01:00
f0260456c9
we don't need to re-emit the search keypress, all it does is conditionally emit end-search anyway
2009-08-18 13:48:04 +01:00
d6d3192d82
refactoring out of the search bar into its own class
2009-08-18 13:43:18 +01:00
Stephen Boddy