Display keyboard shortcut in tooltips if available

Description

Guia do colaborador

Pilha de tecnologia

None

Domain

frontend

Tipo Issue

feature

DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.

3

Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.

half day

Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.

fresh

ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.

mostly clear

Prerequisites

None

Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.

40

Direção de pesquisa

Investigate how tooltips are currently implemented in Pluto.jl, likely in the frontend code. Look for any existing keyboard shortcut handling or tooltip components. The fix would involve adding logic to display the shortcut if available, possibly using JavaScript interop or Julia UI code.