|
|
|
@ -44,12 +44,14 @@ class RecentList: |
|
|
|
del self.elements[-1] |
|
|
|
self.elements.insert(0, element) |
|
|
|
self.fresh = True |
|
|
|
else: |
|
|
|
self.get(element) |
|
|
|
|
|
|
|
def get(self, element_name_or_index): |
|
|
|
if type(element_name_or_index) == int: |
|
|
|
index = element_name_or_index |
|
|
|
else: |
|
|
|
index = self.elements.index(element) |
|
|
|
index = self.elements.index(element_name_or_index) |
|
|
|
ret = self.elements.pop(index) |
|
|
|
self.elements.insert(0, ret) |
|
|
|
self.fresh = True |
|
|
|
|