fix(web): minor bug fixes

[OlegDev1]

Fixes #9644
Fixes #9645
Fixes #9647

Changes

Edit menu property style

As mentioned in #9644, the style of the edit menu property is not proper. It was changed, the height was set to 32px though, instead of 30px, since the sibling button has 32px of height.

Snapshot exported file name

As mentioned in #9645, when we export the snapshot its file name is the document id, instead of the document name. It was fixed. If the document doesn't have a title, the snapshot file will be named as untitled. The way the zip file, which stores all of the snapshots, is named is not changed.

Code block auto-completion

As mentioned in #9647, whenever we type a < into a code block the input is automatically converted to <>. This was fixed and the necessary test case has been added.

[graphite-app]

How to use the Graphite Merge Queue

Add either label to this PR to merge it via the merge queue:

• merge - adds this PR to the back of the merge queue
• hotfix - for urgent hot fixes, skip the queue and merge this PR next

You must have a Graphite account in order to use the merge queue. Sign up using this link.

An organization admin has enabled the Graphite Merge Queue in this repository.

Please do not merge from GitHub as this will restart CI on PRs being processed by the merge queue.

[pengx17]

I dont see codes changes for #9644. Did you forget to commit the related files?

[OlegDev1]

I dont see codes changes for #9644. Did you forget to commit the related files?

I understand, it may be a little bit confusing. The fix for this issue is in the commit d045218. size="large" changes the height to 32px. Have a great day!