Install verdored copy of jquery-ui

jdemeyer · jdemeyer · commit 8da3569e1589 · 2019-06-25T10:01:26.000+02:00
diff --git a/setupext.py b/setupext.py
@@ -871,6 +871,9 @@ def get_package_data(self):
                 'backends/web_backend/jquery/js/*.min.js',
                 'backends/web_backend/jquery/css/themes/base/*.min.css',
                 'backends/web_backend/jquery/css/themes/base/images/*',
+                'backends/web_backend/jquery-ui-*/*',
+                'backends/web_backend/jquery-ui-*/*/*',
+                'backends/web_backend/jquery-ui-*/*/*/*',
                 'backends/web_backend/css/*.*',
                 'backends/Matplotlib.nib/*',
                 'mpl-data/stylelib/*.mplstyle',
