Bug 776391 - Disable WebKit developer mode by default
commit53fe9c0dbbc70bd74345171bc932c359b91553ab
authorMilan Crha <mcrha@redhat.com>
Tue, 17 Jan 2017 18:00:16 +0000 (17 19:00 +0100)
committerMilan Crha <mcrha@redhat.com>
Tue, 17 Jan 2017 18:00:16 +0000 (17 19:00 +0100)
tree7e592417c53e0d9ded8acc0307b4af5a973b7364
parente1b58a9f4be3721c78ea906d4768637fedbc7ee4
Bug 776391 - Disable WebKit developer mode by default
data/org.gnome.evolution.shell.gschema.xml.in
src/e-util/e-misc-utils.c
src/e-util/e-misc-utils.h
src/modules/webkit-editor/e-webkit-editor.c
src/modules/webkit-inspector/evolution-webkit-inspector.c