mirror of
				https://github.com/larstvei/dot-emacs.git
				synced 2025-11-04 01:20:11 +00:00 
			
		
		
		
	use-package maude-mode
This commit is contained in:
		
							parent
							
								
									589f575927
								
							
						
					
					
						commit
						bf1adf019a
					
				
							
								
								
									
										13
									
								
								init.org
									
									
									
									
									
								
							
							
						
						
									
										13
									
								
								init.org
									
									
									
									
									
								
							@ -207,8 +207,7 @@
 | 
				
			|||||||
 | 
					
 | 
				
			||||||
  (let* ((package--builtins nil)
 | 
					  (let* ((package--builtins nil)
 | 
				
			||||||
         (packages
 | 
					         (packages
 | 
				
			||||||
          '(maude-mode           ; Emacs mode for the programming language Maude
 | 
					          '(minizinc-mode        ; Major mode for MiniZinc code
 | 
				
			||||||
            minizinc-mode        ; Major mode for MiniZinc code
 | 
					 | 
				
			||||||
            multiple-cursors     ; Multiple cursors for Emacs
 | 
					            multiple-cursors     ; Multiple cursors for Emacs
 | 
				
			||||||
            nano-modeline        ; N Λ N O modeline
 | 
					            nano-modeline        ; N Λ N O modeline
 | 
				
			||||||
            nano-theme           ; N Λ N O theme
 | 
					            nano-theme           ; N Λ N O theme
 | 
				
			||||||
@ -1577,11 +1576,11 @@
 | 
				
			|||||||
 | 
					
 | 
				
			||||||
   #+begin_src emacs-lisp
 | 
					   #+begin_src emacs-lisp
 | 
				
			||||||
 | 
					
 | 
				
			||||||
   (add-hook 'maude-mode-hook
 | 
					   ;; Emacs mode for the programming language Maude
 | 
				
			||||||
             (lambda ()
 | 
					   (use-package maude-mode
 | 
				
			||||||
               (setq-local comment-start "---")))
 | 
					     :defer t
 | 
				
			||||||
 | 
					     :hook (maude-mode . (lambda () (setq-local comment-start "---")))
 | 
				
			||||||
   (with-eval-after-load 'maude-mode
 | 
					     :config
 | 
				
			||||||
     (add-to-list 'maude-command-options "-no-wrap"))
 | 
					     (add-to-list 'maude-command-options "-no-wrap"))
 | 
				
			||||||
 | 
					
 | 
				
			||||||
   #+end_src
 | 
					   #+end_src
 | 
				
			||||||
 | 
				
			|||||||
		Loading…
	
		Reference in New Issue
	
	Block a user