1. 25 2月, 2020 2 次提交
    • M
      Fix silly error with toString for custom editors · 915089a8
      Matt Bierner 提交于
      Fixes #91317
      915089a8
    • E
      Lots of timeline related changes, below · d46c8a8c
      Eric Amodio 提交于
      UI:
      Adds Refresh icon to view title
      Adds "Load more" entry at the end of the list for paging
      
      API:
      Restructures api around cursors
      Renames TimelineCursor to generic TimelineOptions for more flexibility
      Adds paging object to Timeline for clearer paging usage
      Changes cursors to be strings, and explicit before and after cursors
      Allows limit to take a cursor, so we can reload current data set
      Clarifies id and fallback to timestamp
      Adds reset flag to TimelineChangeEvent for providers to reset caching
      
      Git provider:
      Orders and returns commit date as the timestamp
      Supports limit of a cursor (using rev-list --count)
      Stops returning working/index changes when paging
      Forcably resets cached data when changes are detected (naive for now)
      d46c8a8c
  2. 24 2月, 2020 1 次提交
    • P
      Fix a small bug of JsonValidation · fa9f4138
      PM Extra 提交于
      The origin condition expression `(!strings.startsWith(uri, 'https:/') && strings.startsWith(uri, 'https:/'))` is always false.
      According to the context code, it should be `(!strings.startsWith(uri, 'http://') && !strings.startsWith(uri, 'https://'))` instead.
      fa9f4138
  3. 22 2月, 2020 1 次提交
    • M
      New iteration of webview editor API proposal · 99d5733e
      Matt Bierner 提交于
      For #77131
      
      **Motivation**
      While our existing webview editor API proposal more or less works, building an editable webview editor is fairly tricky using it! This is especially true for simple text based editors.
      
      It'd also be nice if we could get bi-directional live editing for text files. For example, if I open the same file in a webview editor and in VS Code's normal editor, edits on either side should be reflected in the other. While this can sort of be implemented using the existing API, it has some big limitations
      
      **Overview of changes**
      To address these problems, we've decided have two types of webview editors:
      
      - Text based webview editors. These editors used a `TextDocument` as their data model, which considerably simplifies implementing an editable webview. In almost all cases, this should be what you use for text files
      
      - Complex webview editors. This is basically the existing proposed API. This gives extension hooks into all the VS Code events, such as `save`, `undo`, and so on. These should be used for binary files or in very complex text editor cases.
      
      Both editor types now have an explicit model layer based on documents. Text editor use `TextDocument` for this, while custom editors use `WebviewEditorCustomDocument`. This replaces the delegate based approach previously used.
      99d5733e
  4. 21 2月, 2020 6 次提交
  5. 20 2月, 2020 3 次提交
  6. 19 2月, 2020 5 次提交
  7. 18 2月, 2020 8 次提交
  8. 17 2月, 2020 1 次提交
  9. 15 2月, 2020 3 次提交
  10. 14 2月, 2020 1 次提交
  11. 13 2月, 2020 5 次提交
  12. 12 2月, 2020 4 次提交