tweaks: elide an unneeded function now that stuff is grouped together

This commit is contained in:
Benno Schulenberg 2017-09-17 12:14:37 +02:00
parent a1c73317f7
commit c10a1e54dc
1 changed files with 1 additions and 7 deletions

View File

@ -28,12 +28,6 @@
static bool history_changed = FALSE; static bool history_changed = FALSE;
/* Have any of the history lists changed? */ /* Have any of the history lists changed? */
/* Indicate whether any of the history lists have changed. */
bool history_has_changed(void)
{
return history_changed;
}
/* Initialize the search and replace history lists. */ /* Initialize the search and replace history lists. */
void history_init(void) void history_init(void)
{ {
@ -405,7 +399,7 @@ void save_history(void)
FILE *hist; FILE *hist;
/* If the histories are unchanged or empty, don't bother saving them. */ /* If the histories are unchanged or empty, don't bother saving them. */
if (!history_has_changed() || (searchbot->lineno == 1 && if (!history_changed || (searchbot->lineno == 1 &&
replacebot->lineno == 1 && executebot->lineno == 1)) replacebot->lineno == 1 && executebot->lineno == 1))
return; return;