2020-08-05 12:27:15 +02:00
|
|
|
#if DYNAMIC_OPTIONS_PATCH
|
|
|
|
|
#include "dynamicoptions.h"
|
|
|
|
|
#endif
|
2020-08-08 15:10:00 +02:00
|
|
|
#if JSON_PATCH
|
|
|
|
|
#include "json.h"
|
|
|
|
|
#endif
|
Added border, center, fuzzymatch, incremental, initialtext, instant, line-height, mouse-support, navhistory, non-blocking-stdin, password, pipeout, printinputtext, rejectnomatch, scroll, vertfull, wmtype and xyw patches
2019-09-19 00:33:15 +02:00
|
|
|
#if NON_BLOCKING_STDIN_PATCH
|
|
|
|
|
#include "nonblockingstdin.h"
|
2020-08-05 12:40:03 +02:00
|
|
|
#endif
|
|
|
|
|
#if NUMBERS_PATCH
|
|
|
|
|
#include "numbers.h"
|
Added border, center, fuzzymatch, incremental, initialtext, instant, line-height, mouse-support, navhistory, non-blocking-stdin, password, pipeout, printinputtext, rejectnomatch, scroll, vertfull, wmtype and xyw patches
2019-09-19 00:33:15 +02:00
|
|
|
#endif
|
