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 file| Patch | 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 |
