Sasha Pakulev opened merge request !2730: Small IDE fixes at ligolang / LIGO

Sasha Pakulev
2023-07-07T16:06:36Z

Motivation and Context

Description

Component

compiler

website

webide

vscode-plugin

debugger

Types of changes

Bug fix (non-breaking change which fixes an issue)

New feature (non-breaking change which adds functionality)

Breaking change (fix or feature that would cause existing functionality to not work as expected)

Performance improvement (non-breaking change that improves performance)

None (change with no changelog)

Changelog

Increased notification timer in the Web IDE

Fixed typo (cmb -> cmd) for the compilation modal window

LIGO logo in the header now redirects to the Ligo main web site

Checklist:

If a new syntax has been introduced, put a message on slack ligo-lsp

Changes follow the existing coding style (use dune @fmt to check).

Tests for the changes have been added (for bug fixes / feature).

Documentation has been updated.

Changelog description has been added (if appropriate).

Start titles under ## Changelog section with #### (if appropriate).

There is no image or uploaded file in changelog

Examples in changed behaviour have been added to the changelog (for breaking change / feature).