X-Git-Url: https://www.fi.muni.cz/~kas/git//home/kas/public_html/git/?a=blobdiff_plain;ds=sidebyside;f=backend%2Fdjvu%2Fdjvu-text-page.c;h=10fe1a48987f3994d0170e4fa97a48739ad802ef;hb=eb80ecd1f7aa6ff57d2a3324c691274745ca4ed0;hp=c19d6f6457ce53e8298041f45cb1dd54e8d8f638;hpb=13a06349251874bd35d2f03c3fc93217cee749a2;p=evince.git diff --git a/backend/djvu/djvu-text-page.c b/backend/djvu/djvu-text-page.c index c19d6f64..10fe1a48 100644 --- a/backend/djvu/djvu-text-page.c +++ b/backend/djvu/djvu-text-page.c @@ -14,12 +14,15 @@ * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. */ +#include +#include +#include +#include #include "djvu-text-page.h" -#include /** * djvu_text_page_selection_process: @@ -120,8 +123,6 @@ djvu_text_page_limits (DjvuTextPage *page, miniexp_t p, EvRectangle *rect) { - char *token_text; - g_return_if_fail (miniexp_consp (p) && miniexp_symbolp (miniexp_car (p))); @@ -370,7 +371,7 @@ djvu_text_page_append_text (DjvuTextPage *page, */ void djvu_text_page_search (DjvuTextPage *page, - char *text) + const char *text) { char *haystack = page->text; int search_len;