Skip to content
Snippets Groups Projects
Select Git revision
  • main default
  • sidebar
2 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.015Apr12986131Mar302926242322191817161512111098543119Feb1812109542Update user manualmainmainRemove debugging code from main.jsUser manual grammarly updateedited readme voor 0.0.3Version bump to 0.0.3Make figure links in user manual point to top of imageMake chart sizing responsiveadded a snippet for functionsremoved unused assetsAlso prettify open file in editorUser manual updateMake saved JSON files look nicerenamed LiveDotView class to just DotViewUser manual updateFix savePlot command name in extension.tsFix command name for savePlotminor changesall commands,views,etc in package.json start with modestReadme updateVersion bump to 0.0.2Developer manual update, markdeep minifiedAdd completely client-side support for jani filesDeveloper manual updateFix memory leak and bug where a category's revert button was shown when this was not necessarydocumentation added for analysis resultsminor regex improvementMerge branch 'main' of https://gitlab.utwente.nl/dp-group-14/ide-plugin into mainsave as text implemented + minor bugfix regexUser manual updateAdd quickfixes to clear tool problemsadded comments to the dotviewer filesupdated readme and extension metadatanow getting parameters when the extension is opened for the first timeAdd clear tool problems buttonMerge branch 'main' of https://gitlab.utwente.nl/dp-group-14/ide-plugin into mainregex plotvalue now detects 'e' in numbers such as 2.34e5User manual updateSpecify format and scope for modest executable configurationSmall user manual updateMake naming more consistent