Eliminate some unused stuff

This commit is contained in:
Berke Viktor
2012-11-10 17:19:55 +01:00
parent f53eadbcab
commit 9c70eee4ca
4 changed files with 5 additions and 9 deletions

View File

@@ -1228,7 +1228,6 @@ static void
menu_search_reset ()
{
GtkXText *xtext = GTK_XTEXT (current_sess->gui->xtext);
xtext_buffer *buf = xtext->buffer;
gtk_xtext_search (xtext, "", 0, NULL);
}