diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-22 17:57:06 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-22 17:57:06 -0700 |
| commit | a50a38155cd4e99e76775c36987e8bc41c61f0c6 (patch) | |
| tree | 9caf7885e0015e423f7d5c01b16d4d71ff7bf3e2 /src/base | |
| parent | 26f3427a1e4cfb908c389b57100166eb2c35434f (diff) | |
| download | abc-a50a38155cd4e99e76775c36987e8bc41c61f0c6.tar.gz abc-a50a38155cd4e99e76775c36987e8bc41c61f0c6.tar.bz2 abc-a50a38155cd4e99e76775c36987e8bc41c61f0c6.zip | |
Integrating time manager into choice computation.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/cmd/cmdHist.c | 6 |
1 files changed, 4 insertions, 2 deletions
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 ); |