diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex/media4svg')
| -rwxr-xr-x | Master/texmf-dist/tex/latex/media4svg/media4svg.lua | 2 | ||||
| -rw-r--r-- | Master/texmf-dist/tex/latex/media4svg/media4svg.sty | 16 |
2 files changed, 12 insertions, 6 deletions
diff --git a/Master/texmf-dist/tex/latex/media4svg/media4svg.lua b/Master/texmf-dist/tex/latex/media4svg/media4svg.lua index 5714ffb241c..ae291a368ee 100755 --- a/Master/texmf-dist/tex/latex/media4svg/media4svg.lua +++ b/Master/texmf-dist/tex/latex/media4svg/media4svg.lua @@ -32,7 +32,7 @@ -- conditions of the LaTeX Project Public License. -- -- The latest version of this license is in --- http://mirrors.ctan.org/macros/latex/base/lppl.txt +-- http://www.latex-project.org/lppl.txt -- -- This work has the LPPL maintenance status `maintained'. -- diff --git a/Master/texmf-dist/tex/latex/media4svg/media4svg.sty b/Master/texmf-dist/tex/latex/media4svg/media4svg.sty index 8d20eafca55..58508dc6628 100644 --- a/Master/texmf-dist/tex/latex/media4svg/media4svg.sty +++ b/Master/texmf-dist/tex/latex/media4svg/media4svg.sty @@ -17,7 +17,7 @@ % conditions of the LaTeX Project Public License. % % The latest version of this license is in -% http://mirrors.ctan.org/macros/latex/base/lppl.txt +% http://www.latex-project.org/lppl.txt % % This work has the LPPL maintenance status `maintained'. % @@ -25,8 +25,8 @@ \RequirePackage{l3keys2e} -\def\g@msvg@date@tl{2021/10/19} -\def\g@msvg@version@tl{0.6} +\def\g@msvg@date@tl{2022/05/18} +\def\g@msvg@version@tl{0.7} \NeedsTeXFormat{LaTeX2e}[2020-10-01] \ProvidesExplPackage{media4svg}{\g@msvg@date@tl}{\g@msvg@version@tl} @@ -205,7 +205,10 @@ height='0'~ onfocus=''~ onkeydown=' - event.preventDefault();event.stopPropagation(); + event.preventDefault(); + if(!(event.key==="PageDown"||event.key==="PageUp")){ + event.stopPropagation(); + } switch(event.key){ case "~": if($("\g_msvg_id_tl").paused){ @@ -282,7 +285,10 @@ event.target.focus(); % Firefox '~ onkeydown=' - event.preventDefault();event.stopPropagation(); + event.preventDefault(); + if(!(event.key==="PageDown"||event.key==="PageUp")){ + event.stopPropagation(); + } switch(event.key){ case "~": if(event.target.paused){ |