Skip to content

Comments

Betterocaml v 1.0#5

Merged
jbdoderlein merged 9 commits intomasterfrom
dev
Feb 16, 2021
Merged

Betterocaml v 1.0#5
jbdoderlein merged 9 commits intomasterfrom
dev

Conversation

@jbdoderlein
Copy link
Owner

Refont : tabs, button, file management

multiple editor possible, tab de materialize, WIP
travail sur les onglets, ajouts des tab dynamque
bug : update active contant in editor div after delete
TODO : change name after save, open file in new tab
theme mis a jour, nom et sauvegarde des ficheirs ok, exec all avec cooldown
@jbdoderlein jbdoderlein merged commit 837feb1 into master Feb 16, 2021
@jbdoderlein jbdoderlein deleted the dev branch February 17, 2021 13:22
jbdoderlein added a commit that referenced this pull request Mar 27, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant