From be106513d006c902b6dd40350d510ad063a30e1d Mon Sep 17 00:00:00 2001 From: Antoine Martin Date: Thu, 4 Jan 2024 09:47:43 +0000 Subject: [PATCH] doh: this is an assignment --- html5/index.html | 56 ++++++++++++++++++++++++++++-------------------- 1 file changed, 33 insertions(+), 23 deletions(-) diff --git a/html5/index.html b/html5/index.html index 29fb9bd5..990eb02a 100644 --- a/html5/index.html +++ b/html5/index.html @@ -24,9 +24,9 @@ @@ -39,7 +39,6 @@ src="js/lib/jquery-transform-draggable.js" > - @@ -226,7 +225,12 @@
  • - +
  • @@ -385,9 +389,8 @@

    Xpra Bug Report

    if (v == null && prop in default_settings) { v = default_settings[prop]; clog("using", prop, "=", v, " from default settings"); - } - else if (v != null && v != "") { - clog("using", prop, "=", v, " from parameters"); + } else if (v != null && v != "") { + clog("using", prop, "=", v, " from parameters"); } return v; }; @@ -766,7 +769,10 @@

    Xpra Bug Report

    //Safari and navigator.clipboard don't mix well: //(only enabled with ssl contexts) //https://github.com/Xpra-org/xpra-html5/issues/226 - const clipboard = getboolparam("clipboard", !(Utilities.isSafari() && ssl)); + const clipboard = getboolparam( + "clipboard", + !(Utilities.isSafari() && ssl) + ); const printing = getboolparam("printing", true); const file_transfer = getboolparam("file_transfer", true); const steal = getboolparam("steal", true); @@ -934,12 +940,18 @@

    Xpra Bug Report

    client.set_encoding(encoding); } for (const key of [ - "scaling.control", "initial_quality", "initial_speed", "auto_refresh_delay", - "speed", "min-speed", "quality", "min-quality", - ]) { + "scaling.control", + "initial_quality", + "initial_speed", + "auto_refresh_delay", + "speed", + "min-speed", + "quality", + "min-quality", + ]) { const v = getintparam(key, -1); - if (v>=0) { - client.set_encoding_option(key, v); + if (v >= 0) { + client.set_encoding_option(key, v); } } client.offscreen_api = offscreen && client.offscreen_api; @@ -1318,9 +1330,9 @@

    Xpra Bug Report

    let data_icon; const sound_button_element = $("#sound_button"); if (newstate == "disabled") { - data_icon = "volume_up"; - tooltip = "audio is not available"; - sound_button_element.css("color", "#777"); + data_icon = "volume_up"; + tooltip = "audio is not available"; + sound_button_element.css("color", "#777"); } else if (newstate == "playing") { data_icon = "volume_up"; tooltip = "audio playing,\nclick to stop"; @@ -1338,9 +1350,8 @@

    Xpra Bug Report

    $("#sound_button").click(function () { clog("speaker icon clicked, audio_enabled=", client.audio_enabled); if (!client.audio_enabled) { - client.audio_state == "disabled"; - } - else if ( + client.audio_state = "disabled"; + } else if ( client.audio_state == "playing" || client.audio_state == "waiting" ) { @@ -1596,10 +1607,9 @@

    Xpra Bug Report

    // disable right click menu: window.oncontextmenu = function (e) { if ( - client.clipboard_enabled && ( - client.clipboard_direction === "to-client" || - client.clipboard_direction === "both" - ) + client.clipboard_enabled && + (client.clipboard_direction === "to-client" || + client.clipboard_direction === "both") ) { client._poll_clipboard(e); }