Closing AND Deleting Files not possible (V1.2)

nodesign / weio

weio

http://we-io.net

128 stars 35 forks source link

Closing AND Deleting Files not possible (V1.2) #259

Closed ementi closed 8 years ago

ementi commented 8 years ago

Deleting files (Clicking "X" on the left side of the File-Tree) isn't possible anymore since update to V1.2 There is no "X" anymore in the top right corner, to close open pages i.e. main.py

ks156 commented 8 years ago

I confirm : click "X" on the file tree doesn't have any effect.

ks156 commented 8 years ago

Bug introduced in this commit : https://github.com/nodesign/weio/commit/a9ce0f26106eb6546a8c87c9d188c252b3abe231

ks156 commented 8 years ago

Fixed by PR #263