1. 03 Dec, 2020 2 commits
    • Robert Knight's avatar
      Add "Load client" / "Unload client" toggle button to dev server · eedbfdda
      Robert Knight authored
      Add a button to the dev server to facilitate easy testing of unloading
      and re-loading the client, as done by the browser extension and also
      some third-party pages.
      eedbfdda
    • Robert Knight's avatar
      Remove all links, scripts and stylesheets when client is unloaded · a67e7787
      Robert Knight authored
      Ensure that all links, script and stylesheet elements added to the page
      by the boot script are removed when the client is unloaded.
      
      This fixes a problem where the recently added `<link>` for the notebook
      app was not removed when the page was unloaded, causing attempts to
      activate the browser extension on a page where the client had previously
      been loaded and then removed, to fail.
      
      The implementation works by tagging all elements with a
      `hypothesis-asset` attribute in the boot script and then removing these
      elements when the client is unloaded.
      a67e7787
  2. 02 Dec, 2020 1 commit
    • Eduardo Sanz García's avatar
      Remove gap between bucket-bar and iframe · 0f4bb6e8
      Eduardo Sanz García authored
      On mobile devices, reseting the zoom level (pinch gesture) leaves a one pixel gap between the bucket-bar and the iframe. By adding one extra pixel to the width of the bucket-bar we eliminate this issue.
      0f4bb6e8
  3. 30 Nov, 2020 17 commits
  4. 24 Nov, 2020 6 commits
  5. 23 Nov, 2020 13 commits
  6. 20 Nov, 2020 1 commit