From 7c570eb9b541a5403a264ea03d02057610f3b02a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?M=C3=A1rton=20Csord=C3=A1s?= Date: Fri, 16 Feb 2018 12:53:32 +0100 Subject: [PATCH] Upgrade JsPlumb version to v2.2.0 --- scripts/build_package.py | 7 ++++--- vendor_projects.json | 17 +++++++++++++++-- www/index.html | 2 +- www/products.html | 1 - www/scripts/codecheckerviewer/BugViewer.js | 3 ++- 5 files changed, 22 insertions(+), 8 deletions(-) diff --git a/scripts/build_package.py b/scripts/build_package.py index 856969eeb6..16fe888113 100755 --- a/scripts/build_package.py +++ b/scripts/build_package.py @@ -608,15 +608,16 @@ def build_package(repository_root, build_package_config, env=None): jsplumb_root = os.path.join(repository_root, jsplumb_dep.get('directory')) target = os.path.join(package_root, package_layout['web_client_jsplumb']) jsplumb = os.path.join(jsplumb_root, 'dist', 'js', - 'jquery.jsPlumb-1.7.6-min.js') + 'jsPlumb-2.2.0-min.js') shutil.copy(jsplumb, target) # Add jQuery for JsPlumb. + jquery_dep = vendor_projects['jquery'] + jquery_root = os.path.join(repository_root, jquery_dep.get('directory')) target = os.path.join(target, 'external') if not os.path.exists(target): os.mkdir(target) - jquery = os.path.join(jsplumb_root, 'external', - 'jquery-1.9.0-min.js') + jquery = os.path.join(jquery_root, 'jquery-1.9.0-min.js') shutil.copy(jquery, target) # config files diff --git a/vendor_projects.json b/vendor_projects.json index 5587e959d6..135ae37911 100644 --- a/vendor_projects.json +++ b/vendor_projects.json @@ -39,15 +39,28 @@ { "name":"jsplumb", "directory":"vendor/jsplumb", - "version":"1.7.6", + "version":"2.2.0", "description":"jsplumb", "homepage":"https://jsplumbtoolkit.com/", "repository":{ "type":"git", - "git_tag":"1.7.6", + "git_tag":"2.2.0", "url":"https://github.com/sporritt/jsPlumb.git" } }, + { + "name":"jquery", + "directory":"vendor/jquery", + "version":"1.9.0", + "description":"jquery", + "homepage":"https://jquery.com/", + "source_package":{ + "download_cmd":"curl", + "url":"https://cdnjs.cloudflare.com/ajax/libs/jquery/1.9.0/jquery.min.js", + "option":"-o", + "name":"jquery-1.9.0-min.js" + } + }, { "name":"marked", "directory":"vendor/marked", diff --git a/www/index.html b/www/index.html index 9d5fdf515e..ad6d34a84a 100644 --- a/www/index.html +++ b/www/index.html @@ -20,7 +20,7 @@ - + diff --git a/www/products.html b/www/products.html index ba268607f2..36b8690927 100644 --- a/www/products.html +++ b/www/products.html @@ -18,7 +18,6 @@ - diff --git a/www/scripts/codecheckerviewer/BugViewer.js b/www/scripts/codecheckerviewer/BugViewer.js index 430eba02c4..95c0cc3762 100644 --- a/www/scripts/codecheckerviewer/BugViewer.js +++ b/www/scripts/codecheckerviewer/BugViewer.js @@ -44,7 +44,8 @@ function (declare, domClass, dom, style, fx, Toggler, keys, on, query, Memory, Container : jsPlumbParentElement, Anchor : ['Perimeter', { shape : 'Ellipse' }], Endpoint : ['Dot', { radius : 1 }], - PaintStyle : { strokeStyle : '#a94442', lineWidth : 2 }, + PaintStyle : { stroke : '#a94442', strokeWidth : 2 }, + Connector:[ "Bezier", { curviness: 10 }], ConnectionsDetachable : false, ConnectionOverlays : [['Arrow', { location : 1, length : 10, width : 8 }]]