search

siddharthb / Kide

Kide- The Kappa IDE for Eclipse
GNU Lesser General Public License v3.0
1 stars 0 forks source link

Feature: comments #7

Closed jkrivine closed 13 years ago

jkrivine commented 13 years ago

It would be great to have a comment page on kappa files (appearing as a menu when you right click on the kappa file)

siddharthb commented 13 years ago

the feature has been added in the version 1.01_220711 and further.