prepare new version

jsxgraph · Mar 29, 2022 · 9e156ff · 9e156ff
1 parent 357bda7
commit 9e156ff
Show file tree

Hide file tree

Showing 8 changed files with 104 additions and 79 deletions.
diff --git a/how_to_release.md b/how_to_release.md
@@ -6,7 +6,7 @@ To release a new version of JSXGraph into the filter follow the steps below:
 
 - Replace the files `jsxgraphcore.js` and `jsxgraph.css` in branch `master` of https://github.com/jsxgraph/moodle-filter_jsxgraph.
 - Recompile [`styles.less`](styles.less).
-- Reformat [`styles.less`](styles.less) (indentation of 4 spaces).
+- Reformat [`styles.css`](styles.css) (indentation of 4 spaces).
 - If formulas extension hat been updated, replace directory `libs/fomulas_extension`.
 - Update version tag in [`thirdpartylibs.xml`](thirdpartylibs.xml)!
 - Update strings for `recommendedJSX` and `deliveredJSX` in [`version.php`](version.php).

diff --git a/jsxgraph.css b/jsxgraph.css
@@ -1,5 +1,5 @@
 /*
-    Copyright 2008-2021
+    Copyright 2008-2022
         Matthias Ehmann,
         Michael Gerhaeuser,
         Carsten Miller,
@@ -80,8 +80,12 @@
     /* opacity: 0.6; */
 }
 
-/* CSS rules for the navigation bar */
+.jxgbox :focus {
+    outline-width: 0.5px;
+    outline-style: dotted;
+}
 
+/* CSS rules for the navigation bar */
 .JXG_navigation {
     position: absolute;
     right: 5px;

diff --git a/jsxgraphcore.js b/jsxgraphcore.js
diff --git a/libs/submodule_formulas_extension b/libs/submodule_formulas_extension
diff --git a/styles.css b/styles.css
diff --git a/styles.css.map b/styles.css.map
diff --git a/thirdpartylibs.xml b/thirdpartylibs.xml
@@ -3,7 +3,7 @@
     <library>
         <location>jsxgraphcore.js</location>
         <name>JSXGraph</name>
-        <version>1.4.1</version>
+        <version>1.4.2</version>
         <license>LGPL</license>
         <licenseversion>3.0+</licenseversion>
     </library>

diff --git a/version.php b/version.php
@@ -34,17 +34,17 @@
 
 defined('MOODLE_INTERNAL') || die();
 
-$plugin->version = 2022012800;          // The current plugin version (Date: YYYYMMDDXX).
+$plugin->version = 2022032900;          // The current plugin version (Date: YYYYMMDDXX).
 $plugin->requires = 2015051100;         // Requires this Moodle version.
 $plugin->supported = [29, 311];         // Moodle versions.
 $plugin->component = 'filter_jsxgraph'; // Full name of the plugin (used for diagnostics).
 $plugin->maturity = MATURITY_STABLE;
-$plugin->release = 'v1.4.1';          // JSXGraph + filter version.
+$plugin->release = 'v1.4.2';            // JSXGraph + filter version.
 
 try {
     set_config('release', $plugin->release, 'filter_jsxgraph');
-    set_config('recommendedJSX', '1.4.1', 'filter_jsxgraph');
-    set_config('deliveredJSX', '1.4.1', 'filter_jsxgraph');
+    set_config('recommendedJSX', '1.4.2', 'filter_jsxgraph');
+    set_config('deliveredJSX', '1.4.2', 'filter_jsxgraph');
 } catch (Exception $e) {
     // Exception is not handled because it is not necessary.
     // This has to be here for code prechecks.