Add preference to disable table editor shortcuts and migrate preferences to localStorage

[Yukaii]

Introduce a new preference option to disable shortcuts in the table editor and migrate user preferences from cookies to localStorage for better management.

[Copilot]

Pull Request Overview

This PR introduces a new user preference to disable table editor shortcuts and migrates existing user preferences from cookies to localStorage for improved management.

• Added a method to toggle table editor shortcuts in the table editor module.
• Updated the statusbar UI to include a checkbox for disabling table editor shortcuts.
• Implemented a Storage utility and a migration routine in the main index file to transition preference storage from cookies to localStorage.

Reviewed Changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 2 comments.

File	Description
public/js/lib/editor/table-editor.js	Adds a new API to enable/disable shortcuts and checks the saved cookie value.
public/js/lib/editor/statusbar.html	Updates the dropdown menu to include a control for table editor shortcuts.
public/js/lib/editor/index.js	Implements a Storage utility and migrates preferences from cookies to localStorage.

[Copilot]

Consider using the new Storage utility to retrieve the 'preferences-disable-table-shortcuts' value instead of directly calling window.Cookies, ensuring consistency after migration.

Suggested change

	// Check cookie for saved preference
	const cookieDisableTableShortcuts = window.Cookies && window.Cookies.get('preferences-disable-table-shortcuts')
	if (cookieDisableTableShortcuts && cookieDisableTableShortcuts === 'true') {
	shortcutsEnabled = false
	// Check storage for saved preference
	const storageDisableTableShortcuts = Storage && Storage.get('preferences-disable-table-shortcuts')
	if (storageDisableTableShortcuts && storageDisableTableShortcuts === 'true') {

[stanley2058]

I think this block is not necessary. Since this option is only added after the storage migration, we wouldn't need to check the cookies for this key. And because this option is handled in the Editor class, we don't need to check it here either:

codimd/public/js/lib/editor/index.js

Lines 834 to 842 in 282ba60

	var storedDisableTableShortcuts = Storage.get(
	'preferences-disable-table-shortcuts'
	)
	if (storedDisableTableShortcuts && storedDisableTableShortcuts === 'true') {
	disableTableShortcuts.prop('checked', true)
	} else {
	disableTableShortcuts.prop('checked', false)
	}
	this.setTableShortcutsPreference()