Apply patch to library for custom changes in Arduino IDE
Save the patch to a file, put it in the directory holding the library,
open a terminal on that directory and type:

patch -p1 &lt; patchfile


You may have to install the "patch" utility if you don't have it yet. On
a Debian-like OS (I don't know for other OSes):

sudo apt install patch