Tracker »

Issue 1429 – Failure when reloading edited file while it's being reloaded already

Component: GUI

Version: Unspecified

Severity: Bug

Priority: Medium

Votes: 0

Status: RESOLVED

Resolution: FIXED

Fixed in: 5.8.4

Probably caused by Issue 1237.

Fixed.

Emails with Joan Ramón Tur Feijóo in May 2016.

Commits:
Commit 04d416b7

Documentation