> This cleans size and positioning code, reducing special cases, code
> complexity and size.
>
> Changes:
>
> - cached extents: 28, 1, 1, 1 are old defaults - modern gnome uses different
> sizes. It does not assume any size because it varies - it does cache because
> it's unlikely to vary on t
Issue: default html5 video element not showing media controls
Details: Media control design has been refactored in the current Webkit Gtk
port. The CSS id
and properties related to media buttons, and slider have been
removed, due to which the
media style mediaCon
> Issue: default html5 video element not showing media controls
> Details: Media control design has been refactored in the current Webkit Gtk
> port. The CSS id
> and properties related to media buttons, and slider have been
> removed, due to which the
> media st
> This cleans size and positioning code, reducing special cases, code
> complexity and size.
>
> Changes:
>
> - cached extents: 28, 1, 1, 1 are old defaults - modern gnome uses different
> sizes. It does not assume any size because it varies - it does cache because
> it's unlikely to vary on t
> This cleans size and positioning code, reducing special cases, code
> complexity and size.
>
> Changes:
>
> - cached extents: 28, 1, 1, 1 are old defaults - modern gnome uses different
> sizes. It does not assume any size because it varies - it does cache because
> it's unlikely to vary on t
> This cleans size and positioning code, reducing special cases, code
> complexity and size.
>
> Changes:
>
> - cached extents: 28, 1, 1, 1 are old defaults - modern gnome uses different
> sizes. It does not assume any size because it varies - it does cache because
> it's unlikely to vary on t
On Sun, 26 Feb 2023 22:04:45 GMT, Thiago Milczarek Sayao
wrote:
>> This cleans size and positioning code, reducing special cases, code
>> complexity and size.
>>
>> Changes:
>>
>> - cached extents: 28, 1, 1, 1 are old defaults - modern gnome uses different
>> sizes. It does not assume any si
> This cleans size and positioning code, reducing special cases, code
> complexity and size.
>
> Changes:
>
> - cached extents: 28, 1, 1, 1 are old defaults - modern gnome uses different
> sizes. It does not assume any size because it varies - it does cache because
> it's unlikely to vary on t
On Sun, 26 Feb 2023 17:03:29 GMT, Jay Bhaskar wrote:
>> Issue: default html5 video element not showing media controls
>> Details: Media control design has been refactored in the current Webkit Gtk
>> port. The CSS id
>> and properties related to media buttons, and slider have
>
> Issue: default html5 video element not showing media controls
> Details: Media control design has been refactored in the current Webkit Gtk
> port. The CSS id
> and properties related to media buttons, and slider have been
> removed, due to which the
> media st
10 matches
Mail list logo
