JuliaPluto/Pluto.jl

Easy way to return after Ctrl+Clicking a variable

Open

#1.524 aberto em 30 de set. de 2021

Ver no GitHub
 (2 comments) (0 reactions) (0 assignees)Julia (5.295 stars) (329 forks)batch import
frontendgood first issue

Description

Maybe the browser's back button by modifying the history?

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.
stale
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
needs investigation
Prerequisites
Basic understanding of Pluto's frontend architecture
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
20
Direção de pesquisa
The issue suggests using the browser's back button via history modification for returning after Ctrl+Click. However, the scope is unclear and lacks maintainer input. First, review Pluto's frontend code (e.g., in frontend/ directory) to understand current navigation behavior. Then, check if there are any comments or linked discussions that might clarify acceptance criteria. Engage with maintainers to define concrete deliverables.