Merge pull request #2920 from bobrippling/wid-edit-opt

widedit optimisation
pull/2926/head
Gordon Williams 2023-07-31 11:05:51 +01:00 committed by GitHub
commit e8157f4c2f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 2 additions and 2 deletions

View File

@ -3,3 +3,4 @@
Change back entry to menu option
Allow changing widgets into all areas, including bottom widget bar
0.03: Fix editing widgets whose draw method takes the widget
0.04: Remove double-sort

View File

@ -14,7 +14,6 @@ Bangle.loadWidgets = (o => ()=>{
const W = global.WIDGETS;
global.WIDGETS = {};
Object.keys(W)
.sort()
.sort((a, b) => (0|W[b].sortorder)-(0|W[a].sortorder))
.forEach(k => global.WIDGETS[k] = W[k]);
})(Bangle.loadWidgets);

View File

@ -1,6 +1,6 @@
{
"id": "wid_edit",
"version": "0.03",
"version": "0.04",
"name": "Widget Editor",
"icon": "icon.png",
"description": "Customize widget locations",