require "editor" function mini.init() sprites=surf.load("batman.gif") tiles=surf.load("tiles01.gif") surf.source(tiles) local paleta=pal.load("tiles01.gif") pal.set(paleta) editor.init(1); end function mini.update() if key.press(key.F1) then win.zoom(win.zoom()-1) elseif key.press(key.F2) then win.zoom(win.zoom()+1) elseif key.press(key.F3) then local fs = win.fullscreen() win.fullscreen(not fs) win.cursor(fs) end if (game_update) then game_update() end --text(tostring(sys.fps()),0,0,22,42) end function text(str,x,y,col,col2) draw.text(str,x-1,y-1,66) draw.text(str,x,y-1,66) draw.text(str,x+1,y-1,66) draw.text(str,x-1,y,66) draw.text(str,x+1,y,66) draw.text(str,x-1,y+1,66) draw.text(str,x+1,y+1,66) draw.text(str,x-1,y+2,66) draw.text(str,x,y+2,66) draw.text(str,x+1,y+2,66) draw.text(str,x,y+1,col2) draw.text(str,x,y,col) end