• bunsenstraat's avatar
    the file removed event is blocked (#753) · 83793276
    bunsenstraat authored
    The file removed event will not be emitted if the file is deleted when it is not opened. This happens for example when you right click on the file without first openening it.
    83793276
Name
Last commit
Last update
..
compiler Loading commit data...
components Loading commit data...
editor Loading commit data...
files Loading commit data...
panels Loading commit data...
tabs Loading commit data...
udapp Loading commit data...
ui Loading commit data...