jp-ganis/JPS — pull request #111 by htordeux (2012-03-27 18:00:24+00:00)
Title: Update jps.lua

add	jps.gui_toggleInt()