From 85834785efc17a7ee8b54bbeec48f098a56d9095 Mon Sep 17 00:00:00 2001
From: Thomas Sailer <t.sailer@alumni.ethz.ch>
Date: Aug 29 2013 22:41:48 +0000
Subject: fix webkit API patch


---

diff --git a/vfrnav-webkit.patch b/vfrnav-webkit.patch
index 75d5a88..d2893be 100644
--- a/vfrnav-webkit.patch
+++ b/vfrnav-webkit.patch
@@ -5,7 +5,7 @@
  				g_free(lname);
  			}
 -			lname = webkit_dom_html_element_get_id(WEBKIT_DOM_HTML_ELEMENT(node));
-+			lname = webkit_dom_element_get_id(WEBKIT_DOM_HTML_ELEMENT(node));
++			lname = webkit_dom_element_get_id(WEBKIT_DOM_ELEMENT(node));
  			if (lname) {
  				if (*lname)
  					std::cerr << " id \"" << lname << "\"";
@@ -16,7 +16,7 @@
  				g_free(lname);
  			}
 -			lname = webkit_dom_html_element_get_id(WEBKIT_DOM_HTML_ELEMENT(node));
-+			lname = webkit_dom_element_get_id(WEBKIT_DOM_HTML_ELEMENT(node));
++			lname = webkit_dom_element_get_id(WEBKIT_DOM_ELEMENT(node));
  			if (lname) {
  				if (*lname)
  					std::cerr << " id \"" << lname << "\"";