Skip to main content

Darklang Release 10

Febuary 1, 2023

Editor Improvements​

  • Reduce the amount of space within the autocomplete dropdown box (#4709)

  • Improve styling of tutorial tooltips (#4700)

  • Refresh the editor when it is outdated and inactive (#4648)

  • Deprecate old ||/&& functions in favor of short-circuiting ||/&&; add convert-to-short-circuiting command to migrate from old ||`&&` functions (#4676, #4674)

  • Add new "feedback" and "report a bug" buttons that point to github discussions and github issues (#4689)

  • Improve design of code documentation box (#4664, #4702, #4706, #4713)

    improved documentation box

  • Reduce the amount of space within the autocomplete dropdown box. (#4709)

Documentation​

  • Generally tidy documentation; fix a bunch of links (#306)

Contributor Improvements​

  • Add instructions for testing local editor changes against the production backend (#308)

  • Add GitHub Issue templates for docs repo, namely to make monthly changelog/release process more straight-forward (#317, #318, #320, #322, #324, #326, #323)

Internal​

  • Add more infrastructure config to Terraform (#4697)

  • React to a CircleCI incident (#313, #4704, #4691, #4694, #4695)

    • rotate our CircleCI keys
    • make it easier to rotate DB credentials
    • see our Release 10 blog post for more information

  • Use Tailwind for the account actions menu, documentation box, and tutorial tooltips (#4689, #4664, #4700)

  • Mark more standard library functions as Not Queryable instead of Unknown (#4729)

  • Move deployment lock to a darklang canvas (#4703)