39 |
I've successfully used extedit to avoid this at one point today |
I've successfully used extedit to avoid this at one point today |
40 |
(to use extedit, remember to set the EDITOR environment variable). |
(to use extedit, remember to set the EDITOR environment variable). |
41 |
-- |
-- |
42 |
Hope all goes well with the demo! -b. ] |
Hope all goes well with the demo! -b. |
43 |
|
-- |
44 |
|
P.S. AAARGH-- just noted again the saving bug from earlier today -> |
45 |
|
after creating a span, I couldn't save and after Ctrl-C not reload. |
46 |
|
I can't really fix this today, ARGH! If you encounter this, you'll |
47 |
|
need to work around it somehow. Remember to back up your |
48 |
|
saved spaces :( |
49 |
|
-- |
50 |
|
I've tried to misfix, so let's hope you won't see it. -b. ] |
51 |
tuukkah: |
tuukkah: |
52 |
- when a gl window is closed, call Binder.windowClosed() |
- when a gl window is closed, call Binder.windowClosed() |
53 |
- unit tests for libcoords: |
- unit tests for libcoords: |