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 at 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