Closed GoogleCodeExporter closed 9 years ago
Oh, hmmm, actually there is an automatic reload function. (It monitors file
changes of open files.) If it doesn't work, this is a bug.
Original comment by t.willwa...@gmail.com
on 20 Aug 2011 at 6:35
Original comment by t.willwa...@gmail.com
on 22 Aug 2011 at 11:58
The reload dialog had a wrong owner set... probably it popped up in the
background and was hard to see. Fixed.
Original comment by t.willwa...@gmail.com
on 7 Oct 2011 at 9:37
Original issue reported on code.google.com by
markus.b...@gmail.com
on 16 Aug 2011 at 3:11