> True, but removing them is on the OPs bugs checklist at the beginning of the > PR, and then it will not be backward compatible.
It is less work for me not to implement this, if you prefer. It leaves the file a bit untidy, but it should be harmless. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/2776#issuecomment-813406815
