comparison: console/plugins/gnthistory.c
console/plugins/gnthistory.c
- changeset 14845
- f34a657dacd0
- parent 14296
- ac12fbad24f7
- child 14849
- 24a126359a5c
equal
deleted
inserted
replaced
| 14844:6042c6c2502f | 14845:f34a657dacd0 |
|---|---|
| 31 #include "signals.h" | 31 #include "signals.h" |
| 32 #include "util.h" | 32 #include "util.h" |
| 33 #include "version.h" | 33 #include "version.h" |
| 34 | 34 |
| 35 #include "gntplugin.h" | 35 #include "gntplugin.h" |
| 36 | |
| 37 #include <gnttextview.h> | |
| 38 | 36 |
| 39 #define HISTORY_PLUGIN_ID "gnt-history" | 37 #define HISTORY_PLUGIN_ID "gnt-history" |
| 40 | 38 |
| 41 #define HISTORY_SIZE (4 * 1024) | 39 #define HISTORY_SIZE (4 * 1024) |
| 42 | 40 |
