import ports
import buf
import blit
splashscreen=buf.sym('splashscreen')
framebuffer =buf.abs(0xa0000, 0x10000)
textbuffer =buf.abs(0xb8000, 4000)
savebuffer =buf.bss(4000)
font0 =buf.bss(8192)
textmode = 1
def exittext():
savebuffer[:] = textbuffer
set320x200x256()
savefonts()
global textmode; textmode = 0
def entertext():
global textmode; textmode = 1
restorefonts()
set80x25()
textbuffer[:] = savebuffer
def cleartext():
if textmode: tb = textbuffer
else: tb = savebuffer
blit.fill(tb, 4000, 0,0, 4000,1, ' \015 \015 \015 \015')
def set640x480x16():
ports.inb(0x3DA)
import ports
import buf
import blit
splashscreen = buf.sym('splashscreen')
framebuffer = buf.abs(0xa0000, 0x10000)
textbuffer = buf.abs(0xb8000, 4000)
savebuffer = buf.bss(4000)
font0 = buf.bss(8192)
textmode = 1
def exittext():
savebuffer[:] = textbuffer
set320x200x256()
savefonts()
global textmode
textmode = 0
def entertext():
global textmode
textmode = 1
restorefonts()
set80x25()
textbuffer[:] = savebuffer
def cleartext():
if textmode: tb = textbuffer
################################################################################
import pyvga
import blit
import buf
ss = buf.sym('sokoscreen')
pyvga.exittext()
pyvga.framebuffer[:len(ss)] = ss
# blit.fill(pyvga.framebuffer,320,0,0,320,200,0)
################################################################################
import isr
import py8042
import keyb
bufchar = None
def kbd_isr():
ch = keyb.translate_scancode(py8042.get_scancode())
if ch:
global bufchar
bufchar = ch
dir = None
def clk_isr():
global bufchar
global dir
################################################################################
import pyvga
import blit
import buf
ss = buf.sym('sokoscreen')
pyvga.exittext()
pyvga.framebuffer[:len(ss)] = ss
# blit.fill(pyvga.framebuffer,320,0,0,320,200,0)
################################################################################
import isr
import py8042
import keyb
bufchar = None
def kbd_isr():
ch = keyb.translate_scancode(py8042.get_scancode())
if ch:
global bufchar
bufchar = ch
dir = None
def clk_isr():
global bufchar
global dir
blit.fill(pyvga.framebuffer, 320, 312, 0, 8, 8, (isr.ticker & 15) + 16)
if py8042.more_squeaks():
