• file
• latest
• revisions
• annotate
• diff
• comparison
• raw

diff: eric7/WebBrowser/ClosedTabsManager.py

eric7/WebBrowser/ClosedTabsManager.py

branch

eric7

changeset 8858

a70a980e7d4f

parent 8318

962bce857696

child 8881

54e42bc2437a