# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1581532848 -3600
# Node ID 122075ceaa53112331d961e451694bc5f0238bb9
# Parent  7699a08ba8fb798d740cca18746fa29cc761faf7
quick frontend (app): replaced OrderedDict by regular dict:

since Python 3.7 dict are officially ordered, so there is no need to use a specific class
anymore.

diff -r 7699a08ba8fb -r 122075ceaa53 sat_frontends/quick_frontend/quick_app.py
--- a/sat_frontends/quick_frontend/quick_app.py	Wed Feb 12 19:38:32 2020 +0100
+++ b/sat_frontends/quick_frontend/quick_app.py	Wed Feb 12 19:40:48 2020 +0100
@@ -31,7 +31,6 @@
 from sat_frontends.quick_frontend.constants import Const as C
 
 import sys
-from collections import OrderedDict
 import time
 
 
@@ -320,7 +319,7 @@
 
         # frontend notifications
         self._notif_id = 0
-        self._notifications = OrderedDict()
+        self._notifications = {}
         # watched progresses and associated callbacks
         self._progress_ids = {}
         # available features
@@ -580,7 +579,7 @@
             listener will be callable only by one of the given profiles.
         """
         assert type_ in C.LISTENERS
-        self._listeners.setdefault(type_, OrderedDict())[callback] = profiles_filter
+        self._listeners.setdefault(type_, {})[callback] = profiles_filter
 
     def removeListener(self, type_, callback):
         """Remove a callback from listeners