Repository navigation

Change document types priority - #114

Merged

pkasila merged 1 commit into

CodeEditApp:mainfrom

pkasila:change-nsdocument-priority

Mar 20, 2022

Merged

Change document types priority#114
pkasila merged 1 commit into
CodeEditApp:mainfrom
pkasila:change-nsdocument-priority

Commits on Mar 20, 2022
- Change document types priority, prioritize workspace over source code file to fix #110
  pkasila
  committed
  b11ad20