frontend icon indicating copy to clipboard operation
frontend copied to clipboard

Published 20 hours ago • verified publisher icon source-academy

Autocomplete in sourceacademy.org for predeclared names

Open martin-henz opened this issue 3 years ago • 1 comments

currently not working. Example:

is_str

does not pop up any suggestions.

martin-henz avatar Mar 17 '22 15:03 martin-henz

Fixed by https://github.com/source-academy/js-slang/pull/1232 but best check again in production once bumping js-slang has happened.

martin-henz avatar Mar 17 '22 20:03 martin-henz

Works in both SA @ NUS and SA.org.

martin-henz avatar Mar 30 '24 06:03 martin-henz