ajaxorg / ajaxorg/ace

[Feature request] set different padding to left/right via .setPadding()

Ouverte
#3,078 8 commentaires 0 réactions 0 personnes assignées Voir sur GitHub
effort/medium feature-request no-autoclose p2
Langage dominant
JavaScript
Étoiles
27.1k
Forks
5.3k
Métriques de merge des PR
Aucune PR mergée en 30 j

Description

Would be great if we could set different padding for left/right sides via the `renderer.setPadding()` API. I could dig in and make a PR. Seems it shouldn't be that hard to implement.

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.