]> spindle.queued.net Git - midori/commit
projects / midori / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 22b277d) | patch
Implement a few preferences with new settings API in WebKit
authorChristian Dywan <christian@twotoasts.de>
Wed, 23 Jan 2008 03:26:13 +0000 (04:26 +0100)
committerChristian Dywan <christian@twotoasts.de>
Wed, 23 Jan 2008 03:28:50 +0000 (04:28 +0100)
commitb2c0363cb4c254602ee5438d3b6582c01c061116
treeecd120d2cd16dc3908867eb6864eb33b0da92c68tree | snapshot
parent22b277d94b588d2ee49e888688a567ab5cd01f50commit | diff
Implement a few preferences with new settings API in WebKit

Allow changing a few preferences that WebKit now has API for
and clear the way for more to come.
src/browser.c diff | blob | history
src/conf.c diff | blob | history
src/conf.h diff | blob | history
src/global.h diff | blob | history
src/main.c diff | blob | history
src/prefs.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.