diff options
| author | Dave Davenport <qball@gmpclient.org> | 2017-10-03 19:59:35 +0200 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2017-10-03 19:59:35 +0200 |
| commit | 2784959fc17c9b43cb438feeb573574e1e53f5a2 (patch) | |
| tree | bd55ca4614d74a1531279084f71078af3868c973 /source/xrmoptions.c | |
| parent | 7081b56aca059574f8ef7bcdb169ef1979ae9f67 (diff) | |
Allow maximum history size to be configured.
Fixes: #613
Diffstat (limited to 'source/xrmoptions.c')
| -rw-r--r-- | source/xrmoptions.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/source/xrmoptions.c b/source/xrmoptions.c index 404886c4..74a95853 100644 --- a/source/xrmoptions.c +++ b/source/xrmoptions.c @@ -204,6 +204,8 @@ static XrmOption xrmOptions[] = { "Color scheme window", CONFIG_DEFAULT }, { xrm_String, "plugin-path", { .str = &config.plugin_path }, NULL, "Directory containing plugins", CONFIG_DEFAULT }, + { xrm_Number, "max-history-size", { .num = &config.max_history_size }, NULL, + "Max history size (WARNING: can cause slowdowns when set to high).", CONFIG_DEFAULT }, }; /** Dynamic array of extra options */ |