Merge requests · Eclipse Projects / Eclipse Titan / Titan VS Code Extension

Enable configurable communication method (stdio/tcp) between extension and language server

!75 · created May 30, 2023 by Csilla Farkas
- Merged
updated Jun 06, 2023
Update README.md

!74 · created May 24, 2023 by Adam Knapp
- Merged
updated May 24, 2023
Add inlay hints provider

!73 · created May 23, 2023 by Csilla Farkas
- Merged
updated May 23, 2023
Added config option for titanium

!72 · created May 23, 2023 by Miklos Magyari
- Merged
- Approved
updated May 23, 2023
Add syntax highlighting for directives as keywords

!71 · created May 18, 2023 by Csilla Farkas
- Merged
- Approved
updated May 18, 2023
Send request when deactivating a tpd

!70 · created May 18, 2023 by Csilla Farkas
- Merged
- Approved
updated May 18, 2023
Version update to 9.0.0

!69 · created May 17, 2023 by Adam Knapp
- Merged
updated May 17, 2023
Fix missing comment colorization in cfg files

!68 · created May 12, 2023 by Csilla Farkas
- Merged
updated May 12, 2023
Set default value of enableOop and enableRealtime config prop to false

!67 · created May 11, 2023 by Csilla Farkas
- Merged
updated May 11, 2023
Notify user if a feature is not available

!66 · created May 11, 2023 by Csilla Farkas
- Merged
- Approved
updated May 11, 2023
Remove custom commands from command palette

!65 · created May 10, 2023 by Csilla Farkas
- Merged
updated May 10, 2023
Fix: Check if workspace exsits

!64 · created May 10, 2023 by Csilla Farkas
- Merged
updated May 10, 2023
Handle invalid value of titan.extension.logDir

!63 · created May 10, 2023 by Csilla Farkas
- Merged
updated May 10, 2023
Added setting for reporting reserved realtime keyword use

!62 · created May 10, 2023 by Miklos Magyari
- Merged
- Approved
updated May 10, 2023
Fix: Handle child process exit

!61 · created May 10, 2023 by Csilla Farkas
- Merged
updated May 10, 2023
Fix ttcn3 snippets

!60 · created May 09, 2023 by Csilla Farkas
- Merged
- Approved
updated May 09, 2023
Changing default port numbers 2

!59 · created May 08, 2023 by Adam Knapp
- Merged
updated May 08, 2023
Changing default port numbers

!58 · created May 08, 2023 by Adam Knapp
- Merged
updated May 08, 2023
Extension is activated automatically after vscode is started

!57 · created May 08, 2023 by Miklos Magyari
- Merged
- Approved
updated May 08, 2023
Changing the arguments of LS according to its new CLI

!56 · created May 04, 2023 by Adam Knapp
- Merged
updated May 04, 2023