de-duplicate a list, retaining original order
(lst)
| 434 | |
| 435 | |
| 436 | def dedup(lst): |
| 437 | "de-duplicate a list, retaining original order" |
| 438 | d = {} |
| 439 | result = [] |
| 440 | for item in lst: |
| 441 | if item not in d: |
| 442 | d[item] = True |
| 443 | result.append(item) |
| 444 | return result |
| 445 | |
| 446 | |
| 447 | def show_plugins(): |