From c508fc902b765d5aae66a55ae359e549ac3ee257 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= <hugo@lysator.liu.se>
Date: Fri, 10 Jul 2020 00:08:19 +0200
Subject: Move back to own popup system.

JQuery apparently doesn't handle xhtml, so the old system goes bust.

Currently it's replaced with a barebones popup system, which works
almost as well as the dependency. However; current problems include:
- Wrong mouse cursor on events
- Bad size on some browsers
- Close button broken
- Sometimes placed outside intended area, stretching it (since I *need*
  scroll on it).
- ...
---
 download-deps | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100755 download-deps

(limited to 'download-deps')

diff --git a/download-deps b/download-deps
deleted file mode 100755
index 7cb06d1b..00000000
--- a/download-deps
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/bash
-
-test -f v4.7.0.tar.gz || curl -sOL https://github.com/staaky/tipped/archive/v4.7.0.tar.gz
-test -d static/tipped-4.7.0/ || tar xf v4.7.0.tar.gz  -C static  tipped-4.7.0/dist/
-
-jquery="jquery-3.1.1.min.js"
-test -f "static/$jquery" || {
-	cd static
-	curl -sOL "https://code.jquery.com/$jquery"
-}
-- 
cgit v1.2.3