Skip to content
Snippets Groups Projects
Commit 1e44aaed authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[ivette] minor emacs fix

parent ff055d4e
No related branches found
No related tags found
No related merge requests found
...@@ -18,16 +18,31 @@ From the `./ivette` sub-directory of Frama-C main directory: ...@@ -18,16 +18,31 @@ From the `./ivette` sub-directory of Frama-C main directory:
$ make app $ make app
``` ```
## Typescript Editors ## Typescript with Emacs
Emacs mode configuration can be setup with Typescript, Web-mode and Tide packages Emacs mode configuration can be setup with Typescript, Web-mode and Tide packages.
which are all available with MELPA. For configuring your `.emacs` accordingly, You can install them with `M-x package-install`:
```
M-x package-refresh-contents ;; updates your index
M-x package-install web-mode
M-x package-install typescript-mode
M-x package-install tidse
```
For configuring your `.emacs` accordingly,
please look at the `share/typescript-config.el` file. please look at the `share/typescript-config.el` file.
This setup the Tide package to work with It setup the Tide package to work with
`typescript-mode` for `*.ts` files (see also `tsfmt.json` config file) `typescript-mode` for `*.ts` files (see also `tsfmt.json` config file)
and `web-mode` for `*.tsx` files. and `web-mode` for `*.tsx` files.
VS-Code is also known to work out of the box. Usefull commands:
```
M-. goto definition
M-, back to previous point
M-x tide-documentation-at-point
M-x tide-error-at-point
```
## Coding Guidelines ## Coding Guidelines
......
{
"source": {
"include": [
"src/dome/doc/README.md",
"build"
]
},
"opts": {
"recurse": true,
"tutorials": "src/dome/doc/tutorials",
"template": "src/dome/doc/template"
},
"plugins": [ "plugins/markdown" ],
"templates": {
"default": {
"useLongnameInNav": true,
"outputSourceFiles": false,
"includeDate": false
}
}
}
...@@ -19,6 +19,7 @@ ...@@ -19,6 +19,7 @@
(defun setup-txs-mode () (defun setup-txs-mode ()
(interactive) (interactive)
(when (string-equal "tsx" (file-name-extension buffer-file-name)) (when (string-equal "tsx" (file-name-extension buffer-file-name))
(setq web-mode-enable-auto-quoting nil)
(setup-tide-mode))) (setup-tide-mode)))
;; aligns annotation to the right hand side ;; aligns annotation to the right hand side
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment