Comment #7 on issue 3743 by marcus.d...@gmail.com: Fix Finder UI (add shortcuts and more commands)
http://code.google.com/p/pharo/issues/detail?id=3743
Issue 3722 has been merged into this issue.
Comment #7 on issue 3743 by marcus.d...@gmail.com: Fix Finder UI (add shortcuts and more commands)
http://code.google.com/p/pharo/issues/detail?id=3743
Issue 3722 has been merged into this issue.