comparison: eric6/WebBrowser/Tools/WebBrowserTools.py
eric6/WebBrowser/Tools/WebBrowserTools.py
- changeset 7781
- 607a6098cb44
- parent 7732
- 4c9cf117acf6
- child 7923
- 91e843545d9a
equal
deleted
inserted
replaced
4 # |
4 # |
5 |
5 |
6 """ |
6 """ |
7 Module implementing tool functions for the web browser. |
7 Module implementing tool functions for the web browser. |
8 """ |
8 """ |
9 |
|
10 |
9 |
11 import os |
10 import os |
12 import re |
11 import re |
13 import mimetypes |
12 import mimetypes |
14 |
13 |