2019-09-16 10:40:16 +02:00
|
|
|
/* Patches */
|
|
|
|
|
|
|
|
|
|
#if COPYURL_PATCH || COPYURL_HIGHLIGHT_SELECTED_URLS_PATCH
|
|
|
|
|
#include "copyurl.h"
|
2019-09-16 12:40:07 +02:00
|
|
|
#endif
|
|
|
|
|
|
2019-09-17 01:18:44 +02:00
|
|
|
#if EXTERNALPIPE_PATCH
|
|
|
|
|
#include "externalpipe.h"
|
|
|
|
|
#endif
|
|
|
|
|
|
2019-09-16 12:40:07 +02:00
|
|
|
#if FIXIME_PATCH
|
|
|
|
|
void xximspot(int, int);
|
|
|
|
|
#endif
|
|
|
|
|
|
2019-09-17 08:53:00 +02:00
|
|
|
#if ISO14755_PATCH
|
|
|
|
|
#include "iso14755.h"
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#if KEYBOARDSELECT_PATCH
|
|
|
|
|
#include "keyboardselect.h"
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#if RIGHTCLICKTOPLUMB_PATCH
|
|
|
|
|
#include "rightclicktoplumb_st.h"
|
|
|
|
|
#endif
|
|
|
|
|
|
2019-09-16 12:40:07 +02:00
|
|
|
#if NEWTERM_PATCH
|
|
|
|
|
#include "newterm.h"
|
2019-09-16 15:31:58 +02:00
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#if SCROLLBACK_PATCH || SCROLLBACK_MOUSE_PATCH || SCROLLBACK_MOUSE_ALTSCREEN_PATCH
|
|
|
|
|
#include "scrollback.h"
|
2019-09-16 10:40:16 +02:00
|
|
|
#endif
|
