Skip to content

1.4.2#4

Merged
josefaidt merged 4 commits intomasterfrom
1.4.2
May 26, 2018
Merged

1.4.2#4
josefaidt merged 4 commits intomasterfrom
1.4.2

Conversation

@josefaidt
Copy link
Owner

[1.4.2.2] - 2018-05-26

Added

  • ProgressBar background untested
  • list.invalidItemForeground untested
  • SQL trello card: 6xQyBtal
    • database name: generic text color
    • table name: generic text color

Changed

[1.4.2.1] - 2018-05-21

Added

  • editor: base colors
    • contrastBorder
    • widget.shadow
    • descriptionForeground (displays on welcome page)
    • errorForeground untested
  • editor: rulers
  • editor: indent guides

Changed

  • PickerGroup (command palette)
    • changed border color to match input border

@josefaidt josefaidt self-assigned this May 26, 2018
@josefaidt josefaidt merged commit a840c35 into master May 26, 2018
@josefaidt josefaidt deleted the 1.4.2 branch June 14, 2018 13:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant