« Previous | Next » 

Revision 0bf1a874

ID0bf1a87443e68a8c7b87217c80f6c09e6645dfc9
Parent a79ee600
Child 52770a8f

Added by Luca Baldesi about 5 years ago

add priority flag to events

if events have same time the new one is pushed in the last position possible (FIFO)
the priority flag can be used to override this behaviour

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences