enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-23 08:53:31 +03:00
Code Issues Projects Releases Wiki Activity

Move Create New Project button to top. (#3972)

Browse Source 
- Moves the Create button to the top.
- Adjust default project to also bring in Table and Database.
This commit is contained in:
James Dunkerley 2022-12-12 15:30:36 +00:00 committed by GitHub
parent efb46c69dc
commit 79de5eecd9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
app/gui/view/welcome-screen/src/side_menu.rs
View File

@ -60,8 +60,7 @@ impl Model {
frp::extend! { network frp::extend! { network
open_project <+ entry.click.constant(name.to_owned()); open_project <+ entry.click.constant(name.to_owned());
} }
let new_project_button = &self.new_project_button; self.projects_list_dom.append_or_warn(&entry);
self.projects_list_dom.insert_before_or_warn(&entry, new_project_button);
self.projects.borrow_mut().push(entry); self.projects.borrow_mut().push(entry);
} }

4
lib/scala/pkg/src/main/resources/default/src/Main.enso
View File

@ -1,5 +1,7 @@
from Standard.Base import all from Standard.Base import all
from Standard.Table import all
from Standard.Database import all
main = main =
operator1 = 0.up_to 100 . to_vector . map .noise operator1 = 0.up_to 100 . to_vector . map .noise
operator1.sort operator2 = operator1.sort