From a50a38155cd4e99e76775c36987e8bc41c61f0c6 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 22 Sep 2012 17:57:06 -0700 Subject: Integrating time manager into choice computation. --- src/base/cmd/cmdHist.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/base') diff --git a/src/base/cmd/cmdHist.c b/src/base/cmd/cmdHist.c index 27a3e61e..ed1d2efa 100644 --- a/src/base/cmd/cmdHist.c +++ b/src/base/cmd/cmdHist.c @@ -48,7 +48,7 @@ ABC_NAMESPACE_IMPL_START void Cmd_HistoryAddCommand( Abc_Frame_t * p, const char * command ) { int nLastLooked = 10; // do not add history if the same entry appears among the last entries - int nLastSaved = 100; // when saving a file, save no more than this number of last entries + int nLastSaved = 500; // when saving a file, save no more than this number of last entries char Buffer[ABC_MAX_STR]; int Len = strlen(command); @@ -57,9 +57,11 @@ void Cmd_HistoryAddCommand( Abc_Frame_t * p, const char * command ) Buffer[Len-1] = 0; if ( strlen(Buffer) > 3 && strncmp(Buffer,"set",3) && + strncmp(Buffer,"time",4) && strncmp(Buffer,"quit",4) && strncmp(Buffer,"source",6) && - strncmp(Buffer,"history",7) && strncmp(Buffer,"hi ", 3) && strcmp(Buffer,"hi") ) + strncmp(Buffer,"history",7) && strncmp(Buffer,"hi ", 3) && strcmp(Buffer,"hi") && + Buffer[strlen(Buffer)-1] != '?' ) { char * pStr = NULL; int i, Start = Abc_MaxInt( 0, Vec_PtrSize(p->aHistory) - nLastLooked ); -- cgit v1.2.3