diff options
| author | Daniel Carl <danielcarl@gmx.de> | 2017-05-07 13:44:05 +0200 |
|---|---|---|
| committer | Daniel Carl <danielcarl@gmx.de> | 2017-05-07 13:44:05 +0200 |
| commit | d33dfd31c148f9c82610e876f75fb16468d8d6c1 (patch) | |
| tree | 09353ea334099e992a9a3af4136ba291f19dd69f /src/Makefile | |
| parent | c55a758634321161b2b0c1c8e1b77b2595730cf7 (diff) | |
Inject global hints script during setting.
In case the user disabled user scripts, also the hints script was
removed from the web content manager. So if the page was reloaded the
hinting did not work. To avoid the disabling of vimb internal used
scripts, we set them always during set up of the settings. So they are
readded in case all scripts are removed from the web content manager.
Diffstat (limited to 'src/Makefile')
0 files changed, 0 insertions, 0 deletions