Ignore:
Timestamp:
03/01/15 16:53:08 (9 years ago)
Author:
István Váradi <ivaradi@…>
Branch:
default
Phase:
public
Message:

Added a new widget to list the faults and provide space for the user to enter an explanation (re #248).

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/mlx/logger.py

    r400 r604  
    284284                                        faultScore = score)
    285285            self._updateEntry(id, newEntry)
     286            if latestEntry.isFault:
     287                self._output.updateFault(id, newEntry.timestampString, text)
     288            else:
     289                self._output.addFault(id, newEntry.timestampString, text)
    286290        elif updateID is not None:
    287291            id = updateID
    288             newEntry = self._entries[id].copy(timestamp = timestamp,
    289                                               text = text, faultID = faultID,
    290                                               faultScore = score)
     292            oldEntry = self._entries[id]
     293            newEntry = oldEntry.copy(timestamp = timestamp,
     294                                     text = text, faultID = faultID,
     295                                     faultScore = score)
    291296            self._updateEntry(id, newEntry)
     297            if oldEntry.isFault:
     298                self._output.updateFault(id, newEntry.timestampString, text)
     299            else:
     300                self._output.addFault(id, newEntry.timestampString, text)
    292301        else:
    293             id = self._addEntry(Logger.Entry(timestamp, text, faultID = faultID,
    294                                              faultScore = score))
     302            entry = Logger.Entry(timestamp, text, faultID = faultID,
     303                                 faultScore = score)
     304            id = self._addEntry(entry)
     305            self._output.addFault(id, entry.timestampString, text)
    295306
    296307        if updateID is None:
     
    328339        newEntry = self._entries[id].copy(text = text, clearFault = True)
    329340        self._updateEntry(id, newEntry)
     341        self._output.clearFault(id)
    330342
    331343    def _addEntry(self, entry):
Note: See TracChangeset for help on using the changeset viewer.