Sorry it took so long to respond. I was able to do this, and according to `top` the CPU usage for Geany at the moments when it was lagging went between 2% and 12%. I have a Core i3-7100 @3.9ghz and everything else runs fast, so hardware is clearly not the problem.