()
| 2661 | |
| 2662 | |
| 2663 | def currently_active_tools(): |
| 2664 | active_tools = [] |
| 2665 | for tool in tools: |
| 2666 | if tool.is_active(): |
| 2667 | active_tools += [tool] |
| 2668 | return active_tools |
| 2669 | |
| 2670 | |
| 2671 | # http://stackoverflow.com/questions/480214/how-do-you-remove-duplicates-from-a-list-in-python-whilst-preserving-order |