Viewing all changes in revision 989.
- Committer: Kenneth Yrke Jørgensen
- Date: 2019-03-10 20:07:06 UTC
- mfrom: (975.4.1 DeleteAction-removeselectionmanager-deleteSelection)
- Revision ID: kenneth@yrke.dk-20190310200706-cqbz5uo2sex2eux1
Merged lp:~yrke/tapaal/DeleteAction-removeselectionmanager-deleteSelection removed
deleteSelection from selection manger.
Function seems to be a leftower, using it will break delete.
deleteSelection from selection manger.
Function seems to be a leftower, using it will break delete.
- files modified:
- src/pipe/gui/GuiFrame.java
expand all
collapse all
added
removed
