-
Thorbjørn Lindeijer authored
Default shortcut is Ctrl+Shift+R now, but maybe there's something better or more widely accepted. No menu entry yet.
9b35e32e
Default shortcut is Ctrl+Shift+R now, but maybe there's something better or more widely accepted. No menu entry yet.