}
});
// TODO: should be hidden if no selection exists.
- hideAllButSelection.setText("All but Selected Rregion (Shift+Ctrl+H)");
+ hideAllButSelection.setText("All but Selected Region (Shift+Ctrl+H)");
hideAllButSelection.addActionListener(new ActionListener()
{
public void actionPerformed(ActionEvent e)