Skip to main content

Notice: This Wiki is now read only and edits are no longer possible. Please see: for the plan.

Jump to: navigation, search

Orion/Meeting minutes/20170206


Curtis, Casey, Robert, Silenio, Grant, Boris, Libing, Olivier


  • Tasks shared across processes
    • released support on the Java server
    • will implement this on the node server next
  • LSP
    • latest java server has changed in the area of completions, need to adapt the client side
  • Annotations display
    • added settings to filter display of annotations in the editor and editor overview area
    • default settings are currently to show all annotations, planning to tweak this
    • made accompanying editor wrench changes, settings are now grouped by category
  • Editor tabs
    • continuing work in this area, including adding of dirty indicators and reorderability
  • Language Tooling
    • linting now runs every 250ms even is autosave is turned off
    • improving quick fixes to be able to ignore some problems
  • Various bug fixes, including:
    • markdown editor
    • code editor syntax styler
    • split editor mode
    • others

Back to the top