search

sarahtattersall / PIPE

PIPE - Platform Independent Petri Net Editor
MIT License
232 stars 73 forks source link

Cannot delete place after renaming #84

Open collimarco opened 9 years ago

collimarco commented 9 years ago
  1. Click "Add a place" in toolbar
  2. Click on the canvas to create a place
  3. Right click on the place and rename it
  4. Right click on the place and click "Delete": it doesn't delete the place and there's no way to remove it

OS: Mac OS Yosemite

sjdayday commented 9 years ago

Hi Marco,

Thanks for this. I'll take a look over the next few days.

regards, Steve

On Thu, Feb 26, 2015 at 5:33 AM, Marco Colli notifications@github.com wrote:

  1. Click "Add a place" in toolbar
  2. Click on the canvas to create a place
  3. Right click on the place and rename it
  4. Right click on the place and click "Delete": it doesn't delete the place and there's no way to remove it

OS: Mac OS Yosemite

— Reply to this email directly or view it on GitHub https://github.com/sarahtattersall/PIPE/issues/84.

Steve Doubleday UC Irvine Mathematical Behavioral Sciences stevedoubleday@gmail.com 818-648-8381