aboutsummaryrefslogtreecommitdiffhomepage
path: root/hol98
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2000-09-23 16:47:42 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2000-09-23 16:47:42 +0000
commit355cddd5dce166cd15998d81e5e6dece96db2858 (patch)
tree56ffbc1410f37931e42f3e54ae774b635ce042f8 /hol98
parent6b9442beff024dcc7839df74f6316f4266c85ba3 (diff)
Add Pierre's tweak
Diffstat (limited to 'hol98')
-rw-r--r--hol98/x-symbol-hol98.el4
1 files changed, 3 insertions, 1 deletions
diff --git a/hol98/x-symbol-hol98.el b/hol98/x-symbol-hol98.el
index 8c60b4ca..920af03d 100644
--- a/hol98/x-symbol-hol98.el
+++ b/hol98/x-symbol-hol98.el
@@ -60,7 +60,9 @@
(defvar x-symbol-hol98-electric-ignore nil)
(defvar x-symbol-hol98-required-fonts nil)
(defvar x-symbol-hol98-case-insensitive nil)
-(defvar x-symbol-hol98-token-shape nil)
+;; Setting token shape prevents "philosophy" example, but still
+;; problems, e.g. delphi, false1. (Pierre)
+(defvar x-symbol-hol98-token-shape '(?_ "[A-Za-z]+" . "[A-Za-z_]"))
(defvar x-symbol-hol98-table x-symbol-hol98-symbol-table)
(defun x-symbol-hol98-default-token-list (tokens) tokens)
(defvar x-symbol-hol98-token-list 'x-symbol-hol98-default-token-list)