Agreed with Frank. @scootergrisen would you care on elaborating why this change is warranted? IMO it makes it slightly less clear, at least to a casual read, and doesn't really add any burden on the reader -- yet, I'm no HCI expert.
-- 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/1788#issuecomment-369381902
