software/guile-studio.git
12 days agoUnclutter File menu. master
Ricardo Wurmus [Tue, 8 Oct 2019 20:14:42 +0000 (22:14 +0200)] 
Unclutter File menu.

12 days agoHide REPL welcome message.
Ricardo Wurmus [Tue, 8 Oct 2019 20:12:38 +0000 (22:12 +0200)] 
Hide REPL welcome message.

8 months agoflycheck: Compile to CPS only.
Ricardo Wurmus [Wed, 13 Feb 2019 20:51:57 +0000 (21:51 +0100)] 
flycheck: Compile to CPS only.

Thanks to Ludovic Court├Ęs for the suggestion.

8 months agoUnclutter the Help menu.
Ricardo Wurmus [Wed, 13 Feb 2019 20:51:43 +0000 (21:51 +0100)] 
Unclutter the Help menu.

8 months agoKill processes on exit without asking.
Ricardo Wurmus [Mon, 11 Feb 2019 22:00:55 +0000 (23:00 +0100)] 
Kill processes on exit without asking.

8 months agoAdd support for flycheck.
Ricardo Wurmus [Mon, 11 Feb 2019 22:00:43 +0000 (23:00 +0100)] 
Add support for flycheck.

8 months agoguix: Use local file.
Ricardo Wurmus [Mon, 11 Feb 2019 15:42:07 +0000 (16:42 +0100)] 
guix: Use local file.

8 months agoReduce menu bar clutter.
Ricardo Wurmus [Mon, 11 Feb 2019 15:41:53 +0000 (16:41 +0100)] 
Reduce menu bar clutter.

8 months agoPrefer horizontal window splits.
Ricardo Wurmus [Mon, 11 Feb 2019 15:41:37 +0000 (16:41 +0100)] 
Prefer horizontal window splits.

8 months agoUse "Guile Studio" as the frame title.
Ricardo Wurmus [Mon, 11 Feb 2019 15:41:09 +0000 (16:41 +0100)] 
Use "Guile Studio" as the frame title.

8 months agoEnable electric-pair-mode by default.
Ricardo Wurmus [Mon, 11 Feb 2019 15:40:52 +0000 (16:40 +0100)] 
Enable electric-pair-mode by default.

8 months agoAdd installation instructions.
Ricardo Wurmus [Mon, 11 Feb 2019 14:13:44 +0000 (15:13 +0100)] 
Add installation instructions.

8 months agoHello world! This is Guile Studio.
Ricardo Wurmus [Mon, 11 Feb 2019 12:32:54 +0000 (13:32 +0100)] 
Hello world!  This is Guile Studio.