Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 6, 2020

• Publish v8.1.2

  josdejong

  committed
  0f031dc

Commits on Jan 4, 2020

• Fix josdejong#877: Some CSS styling issues when used in combination with Materialize

  josdejong

  committed
  090d41f

• Fix josdejong#873: buttons Format, Compact, and Repair not supporting internationalization

  josdejong

  committed
  924ca1a

• Update history

  josdejong

  committed
  0982748

Commits on Dec 28, 2019

• Publish v8.1.1

  josdejong

  committed
  042cd1b

• Changed the file size reported in preview mode to KB and MB

  josdejong

  committed
  275fcc8

Commits on Dec 18, 2019

• Publish v8.1.0

  josdejong

  committed
  4937337

• Implemented popupAnchor allowing to select a custom anchor element. See josdejong#869 and josdejong#870.

  josdejong

  committed
  f86f3d4

Commits on Dec 16, 2019

• Fixed josdejong#502: CSS rule * { font-family: ... } resulting in Ace editor (code mode) not having a mono-space font anymore

  josdejong

  committed
  7c3695d

Commits on Dec 11, 2019

• Oops

  josdejong

  committed
  3aba2c2

• Changed the behavior of timestampTag to fallback on the built-in rules when the function does not return a boolean. See josdejong#856.

  josdejong

  committed
  5c7e1e6

• Publish v7.6.0

  josdejong

  committed
  00c02b9

• Revert using field names to determine whether a value is a timestamp (see josdejong#847, josdejong#856)

  josdejong

  committed
  03fa90b

• Update history

  josdejong

  committed
  a559778

Commits on Dec 8, 2019

• Publish v7.5.0

  josdejong

  committed
  9042357

• Update history

  josdejong

  committed
  b73a749

Commits on Dec 1, 2019

• Publish v7.4.0

  josdejong

  committed
  7f053ea

• Fixed josdejong#850: make autocomplete options robust against non-string inputs

  josdejong

  committed
  0d4525d

• Publish v7.3.1

  josdejong

  committed
  9d2067f

• Clarify josdejong#855 fix in history

  josdejong

  committed
  323ee3d

• Fixed josdejong#855: focus tracker not created when creating an editor without main menu bar

  josdejong

  committed
  1026d91

Commits on Nov 27, 2019

• Publish v7.3.0

  josdejong

  committed
  c1d2f12

• Improve timestampTag API (see josdejong#847)

  josdejong

  committed
  39dfc41

Commits on Nov 24, 2019

• Update history

  josdejong

  committed
  42dd2ae

Commits on Nov 20, 2019

• Fixed josdejong#847: allow customizing the rules determining whether a value is a timestamp or not

  josdejong

  committed
  a615f7a

Commits on Nov 16, 2019

• Fix missing date in history

  josdejong

  committed
  6b6c6cb

Commits on Oct 26, 2019

• Fix josdejong#829: z-index issue of context-menu button and conflicting css names

  josdejong

  committed
  009d896

• Fixed josdejong#826: editor not allowing indentation 0

  josdejong

  committed
  43e0c12

• Fixed josdejong#828: do not expand/collapse when clicking the text of a node in modes view or form

  josdejong

  committed
  8e15be0

Commits on Oct 23, 2019

• Update history

  josdejong

  committed
  55300ce

• Publish v7.2.0

  josdejong

  committed
  b0fc57c

• Fixed josdejong#824: Parse errors not displayed with bottom right error icon in modes code and text

  josdejong

  committed
  626d395

Commits on Oct 20, 2019

• Update history

  josdejong

  committed
  d3e1aef

Commits on Oct 17, 2019

• Update history

  josdejong

  committed
  a9ad446

Commits on Oct 13, 2019

• Publish v7.1.0

  josdejong

  committed
  abbf866

Pagination

PreviousNext