flutter / flutter/devtools

Add the ability to delete a property from the property editor

Ouverte
#9,173 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub
enhancement P2 property editor
Langage dominant
Dart
Étoiles
1.7k
Forks
404
Merge moyen
6 j 17 h
PR mergées (30 j)
18

Description

Once you set a property, there is not currently a way to unset the property other than by manually deleting the property in the code editor. It would be nice to have a way to unset or delete a property from the property editor. Here's an idea of how we could to this in a way that takes up minimal space.

![Image](https://github.com/user-attachments/assets/f34f31ba-dd93-40f0-a805-e529b2c7ad29)

CC @mit-mit, who originally gave this feedback for wanting a way to delete a property without being forced to go back to the code editor.

Guide de contribution

Ouvrir le guide de contribution

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.