> Which package should I upgrade? Also, if it is not available, which ppa
> should I add to be able to upgrade?
Package libwebkitgtk-3.0-0 to version 1.10.x. I don't use Ubuntu, so I
have no idea what PPA to add. Also, I don't know whether it is
possible to upgrade on your system at all. (It is a common issue of
Linux package management: if you particular distribution release
contains a library with a bug, you are usually screwed until the next
release.)
> Furthermore, would it be a good idea to specify the fixed version of webkit as dependency in a newer version of Nuvola? So when people install, they get the fix as well.
No, the Nuvola Player package cannot depend on a package version that
is not available in the default repositories. It would make the Nuvola
Player package non-installable.
> Which package should I upgrade? Also, if it is not available, which ppa
> should I add to be able to upgrade?
Package libwebkitgtk-3.0-0 to version 1.10.x. I don't use Ubuntu, so I
have no idea what PPA to add. Also, I don't know whether it is
possible to upgrade on your system at all. (It is a common issue of
Linux package management: if you particular distribution release
contains a library with a bug, you are usually screwed until the next
release.)
> Furthermore, would it be a good idea to specify the fixed version of webkit as dependency in a newer version of Nuvola? So when people install, they get the fix as well.
No, the Nuvola Player package cannot depend on a package version that
is not available in the default repositories. It would make the Nuvola
Player package non-installable.