ada/gnatdashboard
0
0
Fork 0
mirror of https://github.com/AdaCore/gnatdashboard.git synced 2026-02-12 12:30:42 -08:00
Code Issues Packages Projects Releases Wiki Activity
855 Commits 36 Branches 2 Tags
github/pull/1
Commit Graph

3 Commits

Author SHA1 Message Date
Charly Delay
693e7d4909 webui(AnnotatedSource): fix performance bottleneck 
Refactor the component to avoid irrelevant redraw of the interface as
well as updates to components that haven't changed (due to Angular not
being able to properly analyse impact of a change).

Change-Id: If3356fb1bdb8b15263fc2100cc9015c3d545260e
 2017-02-14 16:03:46 -05:00
Charly Delay
b6937488db webui: add project explorer for navigation 
Change-Id: I496b654c9bd925302a31a3f33b0fd7f6004bf779
 2017-01-26 16:22:32 -05:00
Charly Delay
b9e469ea3f chore(webui/Makefile): add Makefile to build WebUI 
Change-Id: Ia9ba1f5955b188c0a6a4e9a463ebc638acd114d5
 2016-07-18 20:01:33 -04:00