Joel Moniz 40c365af93 Added Tools, Libs reference menus to Help ...

Including support for core tools & libs if reqd later

2014-11-17 17:42:22 +05:30

..

fonts

better option for setting code font

2013-10-13 17:46:14 -04:00

languages

Added Tools, Libs reference menus to Help

2014-11-17 17:42:22 +05:30

defaults.txt

last bits of the revisions for the release

2014-11-16 11:17:24 -07:00

theme.txt

additional font tweaks (#2135)

2013-10-25 10:04:44 -04:00