Lines Matching +defs:indent +defs:string
50 :type 'string
53 (defcustom prolog-consult-string "reconsult(user).\n"
55 :type 'string
58 (defcustom prolog-compile-string "compile(user).\n"
60 :type 'string
63 (defcustom prolog-eof-string "end_of_file.\n"
66 :type 'string
69 (defcustom prolog-indent-width 4
110 (make-local-variable 'indent-line-function)
111 (setq indent-line-function 'prolog-indent-line)
132 ["Indent line" indent-according-to-mode t]
133 ["Indent region" indent-region t]
162 (defun prolog-indent-line ()
164 With argument, indent any additional lines of the same clause
167 (let ((indent (prolog-indent-level))
170 (indent-line-to indent)
174 (defun prolog-indent-level ()
212 (+ ind prolog-indent-width) ;More indentation
216 (max (- ind prolog-indent-width) 0)) ;Less indentation
255 `process-send-region', `process-send-string' and \\[prolog-consult-region].
340 (read-string "Run Prolog: " prolog-program-name)))))
358 (comint-send-string proc (string last-command-char))
366 (comint-send-string proc
367 (if compile prolog-compile-string
368 prolog-consult-string))
370 (comint-send-string proc "\n") ;May be unnecessary
371 (if prolog-eof-string
372 (comint-send-string proc prolog-eof-string)
390 (comint-send-string proc (concat "['" (file-relative-name file) "'].\n"))