30 Aug
2019
30 Aug
'19
1:45 p.m.
Hi
It seems that the proposal for a cmd-dot with options has not been included in the trunk? Are there any reasons against including it?
Regards, Hannes
On 5/15/19, Marcel Taeumel marcel.taeumel@hpi.de wrote:
Hi, there.
Please find attached a changeset. It represents a quick prototype to make the CMD+Dot command more powerful. One might extend it to provide user-friendly, domain-specific clean-up or restarts of applications.
Best, Marcel