equal
deleted
inserted
replaced
61 def __cinit__(self): |
61 def __cinit__(self): |
62 self.thisptr = new Terminal() |
62 self.thisptr = new Terminal() |
63 def __dealloc__(self): |
63 def __dealloc__(self): |
64 del self.thisptr |
64 del self.thisptr |
65 |
65 |
66 def select_font(self, fname_regular, fname_bold, ptsize): |
66 def select_font(self, bytes fname_regular, bytes fname_bold, int ptsize): |
67 fname_regular = fname_regular.encode('utf8') |
|
68 fname_bold = fname_bold.encode('utf8') |
|
69 self.thisptr.select_font(fname_regular, fname_bold, ptsize) |
67 self.thisptr.select_font(fname_regular, fname_bold, ptsize) |
70 def resize(self, width, height): |
68 def resize(self, width, height): |
71 self.thisptr.resize(width, height) |
69 self.thisptr.resize(width, height) |
72 |
70 |
73 def erase(self): |
71 def erase(self): |