From 8da3569e1589529d59bf54ef74fb5228d13ed80d Mon Sep 17 00:00:00 2001 From: Jeroen Demeyer Date: Thu, 20 Jun 2019 13:45:09 +0200 Subject: [PATCH] Install verdored copy of jquery-ui --- setupext.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/setupext.py b/setupext.py index c75725b6d86f..3536cf6c3e97 100644 --- 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',