Merge requests · Eclipse Titan

Added css support for dark color theme

titan.EclipsePlug-ins!938 · created Jan 11, 2022 by Miklos Magyari
- Merged
- Approved
updated Jan 11, 2022
Fixes for hover info feature

titan.EclipsePlug-ins!937 · created Jan 10, 2022 by Adam Knapp
IDE
- Merged
updated Jan 10, 2022
Hover info function icon; bugfixes

titan.EclipsePlug-ins!936 · created Jan 10, 2022 by Miklos Magyari
- Merged
- Approved
updated Jan 10, 2022
Added missing css file

titan.EclipsePlug-ins!935 · created Jan 10, 2022 by Miklos Magyari
- Merged
- Approved
updated Jan 10, 2022
Better handling of css

titan.EclipsePlug-ins!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

titan.EclipsePlug-ins!933 · created Jan 10, 2022 by Miklos Magyari
- Merged
- Approved
updated Jan 10, 2022
Initial icon support for Ttcn3HoverInfoControl

titan.EclipsePlug-ins!932 · created Jan 07, 2022 by Miklos Magyari
- Merged
- Approved
updated Jan 07, 2022
Adding more information to hover info (issue #442 &33)

titan.EclipsePlug-ins!931 · created Jan 07, 2022 by Adam Knapp
- Merged
updated Jan 07, 2022
Doc comment html hover part2

titan.EclipsePlug-ins!930 · created Jan 07, 2022 by Miklos Magyari
- Merged
- Approved
updated Jan 07, 2022
Converted hover info control to use html

titan.EclipsePlug-ins!929 · created Jan 07, 2022 by Miklos Magyari
- Merged
- Approved
updated Jan 07, 2022
Added support for single line document comments (issue #442)

titan.EclipsePlug-ins!927 · created Jan 06, 2022 by Miklos Magyari
- Merged
- Approved
updated Jan 06, 2022
Possible null pointer exception fix for doc comment feature

titan.EclipsePlug-ins!926 · created Jan 06, 2022 by Adam Knapp
- Merged
updated Jan 06, 2022
Doc comments: fixed leading whitespace issue for multiline tags

titan.EclipsePlug-ins!925 · created Jan 05, 2022 by Miklos Magyari
- Merged
- Approved
updated Jan 06, 2022
Improvements and optimization of string operations of doc comment

titan.EclipsePlug-ins!924 · created Jan 05, 2022 by Adam Knapp
IDE
- Merged
updated Jan 05, 2022
Doc comments: initial support for tags with multiline text

titan.EclipsePlug-ins!923 · created Jan 05, 2022 by Miklos Magyari
- Merged
- Approved
updated Jan 05, 2022
Fixed doc comment lexer to accept non-identifier characters

titan.EclipsePlug-ins!922 · created Jan 05, 2022 by Miklos Magyari
- Merged
- Approved
updated Jan 05, 2022
Refactoring the doc comment feature (issue #442 &33)

titan.EclipsePlug-ins!921 · created Jan 04, 2022 by Adam Knapp
- Merged
updated Jan 04, 2022
Added preference for on-the-fly doc comment check

titan.EclipsePlug-ins!920 · created Jan 04, 2022 by Miklos Magyari
- Merged
- Approved
updated Jan 04, 2022
Document comment support improvements (issue #442 &33)

titan.EclipsePlug-ins!919 · created Jan 04, 2022 by Adam Knapp
IDE
- Merged
updated Jan 04, 2022
Fixing generation of unnecessary goto statements (issue #580)

titan.core!223 · created Dec 28, 2021 by Adam Knapp
- Merged
- Approved
updated Jan 03, 2022