Skip to content
GitLab
Explore
Sign in
Open
0
Merged
1,315
Closed
119
All
1,434
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Fixes for hover info feature
!937
· created
Jan 10, 2022
by
Adam Knapp
IDE
Merged
updated
Jan 10, 2022
Hover info function icon; bugfixes
!936
· created
Jan 10, 2022
by
Miklos Magyari
Merged
Approved
updated
Jan 10, 2022
Added missing css file
!935
· created
Jan 10, 2022
by
Miklos Magyari
Merged
Approved
updated
Jan 10, 2022
Better handling of css
!934
· created
Jan 10, 2022
by
Miklos Magyari
Merged
Approved
updated
Jan 10, 2022
Removed StyledText code from hover info control; class icon has transparent background
!933
· created
Jan 10, 2022
by
Miklos Magyari
Merged
Approved
updated
Jan 10, 2022
Initial icon support for Ttcn3HoverInfoControl
!932
· created
Jan 07, 2022
by
Miklos Magyari
Merged
Approved
updated
Jan 07, 2022
Adding more information to hover info (issue #442 &33)
!931
· created
Jan 07, 2022
by
Adam Knapp
Merged
updated
Jan 07, 2022
Doc comment html hover part2
!930
· created
Jan 07, 2022
by
Miklos Magyari
Merged
Approved
updated
Jan 07, 2022
Converted hover info control to use html
!929
· created
Jan 07, 2022
by
Miklos Magyari
Merged
Approved
updated
Jan 07, 2022
Added support for single line document comments (issue #442)
!928
· created
Jan 07, 2022
by
Miklos Magyari
Closed
updated
Jan 07, 2022
Added support for single line document comments (issue #442)
!927
· created
Jan 06, 2022
by
Miklos Magyari
Merged
Approved
updated
Jan 06, 2022
Possible null pointer exception fix for doc comment feature
!926
· created
Jan 06, 2022
by
Adam Knapp
Merged
updated
Jan 06, 2022
Doc comments: fixed leading whitespace issue for multiline tags
!925
· created
Jan 05, 2022
by
Miklos Magyari
Merged
Approved
updated
Jan 06, 2022
Improvements and optimization of string operations of doc comment
!924
· created
Jan 05, 2022
by
Adam Knapp
IDE
Merged
updated
Jan 05, 2022
Doc comments: initial support for tags with multiline text
!923
· created
Jan 05, 2022
by
Miklos Magyari
Merged
Approved
updated
Jan 05, 2022
Fixed doc comment lexer to accept non-identifier characters
!922
· created
Jan 05, 2022
by
Miklos Magyari
Merged
Approved
updated
Jan 05, 2022
Refactoring the doc comment feature (issue #442 &33)
!921
· created
Jan 04, 2022
by
Adam Knapp
Merged
updated
Jan 04, 2022
Added preference for on-the-fly doc comment check
!920
· created
Jan 04, 2022
by
Miklos Magyari
Merged
Approved
updated
Jan 04, 2022
Document comment support improvements (issue #442 &33)
!919
· created
Jan 04, 2022
by
Adam Knapp
IDE
Merged
updated
Jan 04, 2022
Fixes the bug that comes to be when the number of parallel processing units is...
!918
· created
Dec 26, 2021
by
Kristof Szabados
Merged
updated
Dec 26, 2021
Prev
1
…
22
23
24
25
26
27
28
29
30
…
72
Next