Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
update spl.jar to disable Ctrl+wheel font scaling
  • Loading branch information
stepp committed Dec 29, 2018
1 parent 76a3d24 commit 852f0e7
Show file tree
Hide file tree
Showing 3 changed files with 6 additions and 4 deletions.
Binary file modified JavaBackEnd/eclipseproject/obf/spl.jar
Binary file not shown.
@@ -1,5 +1,7 @@
/*
* @author Marty Stepp (current maintainer)
* @version 2018/11/12
* - disabled Ctrl/Command mouse wheel font scaling
* @version 2017/10/31
* - added Ctrl-number hotkeys to automatically load input script and compare output
* @version 2017/06/01
Expand Down Expand Up @@ -388,10 +390,10 @@ public void mouseWheelMoved(MouseWheelEvent e) {
int notches = e.getWheelRotation();
if (notches < 0) {
// mouse wheel moved up
fontEnlarge();
// fontEnlarge();
} else {
// mouse wheel moved down
fontShrink();
// fontShrink();
}
} else {
// re-dispatch the event so we do not block regular scrolling
Expand Down
4 changes: 2 additions & 2 deletions JavaBackEnd/eclipseproject/src/stanford/spl/Version.java
@@ -1,6 +1,6 @@
/*
* @author Marty Stepp
* @version 2018/10/02
* @version 2018/11/12
* - If you update this file, make sure to update the @version tag above
* AND the String constant below! Both are needed and must be in sync.
* - see also: stanford/spl/LibraryUpdater.java
Expand All @@ -11,7 +11,7 @@
public class Version {
private static final String LIBRARY_DOCS_URL = "http://stanford.edu/~stepp/cppdoc/";
private static final String JAVA_BACK_END_FILENAME = "spl.jar";
private static final String JAVA_BACK_END_VERSION = "2018/10/02";
private static final String JAVA_BACK_END_VERSION = "2018/11/12";
private static final String CPP_LIB_VERSION_UNKNOWN = "(unknown)";
private static String CPP_LIB_VERSION = CPP_LIB_VERSION_UNKNOWN;
public static final String ABOUT_MESSAGE = "";
Expand Down

0 comments on commit 852f0e7

Please sign in to comment.