Arc Forumnew | comments | leaders | submitlogin
5 points by stefano 5783 days ago | link | parent

This is really necessary, especially if we want to keep using short names and not something like:

  (gui-window-set-title w "my title")