Re: [dev] [surf] [PATCH] improve title change handling

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

From: Quentin Rameau <quinq.ml_AT_gmail.com>
Date: Mon, 10 Feb 2014 00:13:18 +0100

Here is another patch, I'm not sure we should handle multiple versions
of webkitgtk. But as this bug is corrected in newer (recent, stable)
versions of webkitgtk, should we remove the needless workaround and
assume user has a valid version of webkitgtk ?

application/octet-stream attachment: 0001-Webkitgtk-1.11.5-fixes-anchor-title-handling.patch

Received on Mon Feb 10 2014 - 00:13:18 CET

This message: [ Message body ]
Next message: Carlos Torres: "Re: [dev] [surf] [PATCH] improve title change handling"
Previous message: Szabolcs Nagy: "Re: [dev] Announcing sinit - the suckless init"
In reply to: Quentin Rameau: "[dev] [surf] [PATCH] improve title change handling"
Next in thread: Carlos Torres: "Re: [dev] [surf] [PATCH] improve title change handling"
Reply: Carlos Torres: "Re: [dev] [surf] [PATCH] improve title change handling"

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

This archive was generated by hypermail 2.3.0 : Mon Feb 10 2014 - 00:24:09 CET