eric6/WebBrowser/TabManager/TabManagerWidget.py

changeset 7229
53054eb5b15a
parent 6942
2602857055c5
child 7270
41d09cf20415
equal deleted inserted replaced
7228:6037ddba57aa 7229:53054eb5b15a
10 # 10 #
11 # Modeled after the tab manager plug-in of Qupzilla 11 # Modeled after the tab manager plug-in of Qupzilla
12 # Copyright (C) 2013 S. Razi Alavizadeh <s.r.alavizadeh@gmail.com> 12 # Copyright (C) 2013 S. Razi Alavizadeh <s.r.alavizadeh@gmail.com>
13 # 13 #
14 14
15 from __future__ import unicode_literals
16 15
17 import os 16 import os
18 import collections 17 import collections
19 18
20 from PyQt5.QtCore import pyqtSignal, pyqtSlot, Qt, QPoint, QTimer, QRect 19 from PyQt5.QtCore import pyqtSignal, pyqtSlot, Qt, QPoint, QTimer, QRect

eric ide

mercurial