(self)
| 1870 | |
| 1871 | |
| 1872 | def on_draw(self): |
| 1873 | # the bugfix hack, which currently does not work |
| 1874 | if self.catch and self.document.text == self.catch + self.starttext: |
| 1875 | self.document.text = self.starttext |
| 1876 | self.catch = '' |
| 1877 | self.caret.select_paragraph(600,0) |
| 1878 | |
| 1879 | window.clear() |
| 1880 | self.batch.draw() |
| 1881 | return pyglet.event.EVENT_HANDLED |
| 1882 | |
| 1883 | |
| 1884 | def on_key_press(self, k, mod): |