Package: xiphos / 4.1.0.1+dfsg1-1
Metadata
Package | Version | Patches format |
---|---|---|
xiphos | 4.1.0.1+dfsg1-1 | 3.0 (quilt) |
Patch series
view the series filePatch | File delta | Description |
---|---|---|
0002 build without scrollkeeper.patch | (download) |
help/Guidelines |
2 1 + 1 - 0 ! |
build without scrollkeeper |
0003 patch source for webkit2.patch | (download) |
src/webkit/wk-html.h |
1 1 + 0 - 0 ! |
patch source for webkit2 |
0005 patch source for webkit2.patch | (download) |
src/main/navbar_versekey.cc |
36 20 + 16 - 0 ! |
patch source for webkit2 |
0006 patch source for webkit2.patch | (download) |
src/main/url.cc |
8 4 + 4 - 0 ! |
patch source for webkit2 |
0007 patch source for webkit2.patch | (download) |
src/main/settings.c |
2 1 + 1 - 0 ! |
patch source for webkit2 |
0008 patch source for webkit2.patch | (download) |
src/gnome2/commentary.c |
4 2 + 2 - 0 ! |
patch source for webkit2 |
0009 patch source for webkit2.patch | (download) |
src/gnome2/menu_popup.c |
7 3 + 4 - 0 ! |
patch source for webkit2 |
0010 patch source for webkit2.patch | (download) |
src/gnome2/navbar_versekey_editor.c |
327 57 + 270 - 0 ! |
patch source for webkit2 |
0011 patch source for webkit2.patch | (download) |
src/gnome2/sidebar.c |
10 1 + 9 - 0 ! |
patch source for webkit2 |
0013 patch source for webkit2.patch | (download) |
src/gui/treekey-editor.h |
2 0 + 2 - 0 ! |
patch source for webkit2 |
0014 patch source for webkit2.patch | (download) |
src/gnome2/bookmarks_menu.c |
4 0 + 4 - 0 ! |
patch source for webkit2 |
0015 patch source for webkit2.patch | (download) |
src/gnome2/main_menu.c |
4 2 + 2 - 0 ! |
patch source for webkit2 |
0015 change webkitgtk 3.0 to webkit2gtk 4.0 in configure.patch | (download) |
wscript |
8 4 + 4 - 0 ! |
change webkitgtk-3.0 to webkit2gtk-4.0 in configure |
0014 disable webkit editor.patch | (download) |
src/editor/editor.c |
1164 1 + 1163 - 0 ! |
disable webkit editor |
0015 disable webkit editor.patch | (download) |
src/gnome2/treekey-editor.c |
300 6 + 294 - 0 ! |
disable webkit editor |
0016 remove gconf 2.0 from wscript.patch | (download) |
wscript |
1 0 + 1 - 0 ! |
remove gconf-2.0 from wscript |
0017 remove gconf 2.0 from source.patch | (download) |
src/gnome2/gui.c |
66 0 + 66 - 0 ! |
remove gconf-2.0 from source |