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 Taeumelwrote: > 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