WSL/SLF GitLab Repository

Skip to content
  • Michael Reisecker's avatar
    Move highlighting functionality to Atomic · 4f33f36b
    Michael Reisecker authored
    There were still crashes where a Timer was called on an invalidated
    object. Now, this timer is in Atomic and therefore gets destroyed with
    the widget.
    This way we can have multiple stylings running and it is more logical,
    cleaner, and more general purpose.