--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/shaders/extra_window.v.glsl	Wed Apr 17 20:50:24 2024 -0700
@@ -0,0 +1,10 @@
+
+attribute vec2 pos;
+varying mediump vec2 texcoord;
+uniform mediump float width, height;
+
+void main()
+{
+	gl_Position = vec4(pos, 0.0, 1.0);
+	texcoord = sign(pos) * vec2(0.5 * width, -0.5 * height) + vec2(0.5 * width, 0.5 * height);
+}