Aggiornato emacs_linux.

diff --git a/tools/emacs_linux b/tools/emacs_linux
index 6ef64a3eb4ea9ee69e4ca73dc24da8e62da5f66f..8b62b3e2cc696cca5b512c7e83745b2d9c2bfe49 100644 (file)
--- a/tools/emacs_linux
+++ b/tools/emacs_linux
@@ -38,7 +38,7 @@
 (show-paren-mode 1)
 
 (global-whitespace-mode 1)
-(setq whitespace-style (quote (spaces tabs newline space-mark tab-mark newline-mark)))
+(setq whitespace-style (quote (face spaces tabs newline space-mark tab-mark newline-mark)))
 (setq whitespace-display-mappings
          '(
                (space-mark 32 [183] [46])
@@ -114,3 +114,11 @@
 (add-hook 'dired-mode-hook 'diff-hl-dired-mode)
 
 (require 'sr-speedbar)
+
+(add-hook 'after-init-hook #'global-flycheck-mode)
+(add-hook 'c-mode-hook (lambda () (setq flycheck-gcc-include-path (list "/usr/lib/x86_64-linux-gnu/glib-2.0/include"
+                                                                                                                                               "/usr/include/glib-2.0"
+                                                                                                                                               "/usr/include/gtk-3.0"
+                                                                                                                                               "/usr/include/libxml2"
+                                                                                                                                               "/usr/local/include"
+                                                                                                                                               "/usr/local/include/libgda-5.0"))))