> This really should have been a separate PR, not make a huge PR bigger,
@elextr Good point, dropped the patch, will post it separately once this is merged. > and I suspect that the huge PR could have been split in the first place. The patches are so related that it would be really hard to do. If I knew from the very beginning about all the possible problems and knew exactly what needs to be addressed, it could have been a much smaller patch set. But rewriting the patches now would be a huge amount of work. --- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/862#issuecomment-170500045
