You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, it uses case-insensitive alphabetic order for demos, it might be helpful to allow users to specify a more "meaningful" order preset. For example:
{
"order": "alphabetic"
}
This doesn't break the current syntax, as the previous order is defined as a list (not a string):
{
"order": [
"basics",
"julia_demos"
]
}
Here are presets that I guess would be useful:
"Alphabetic": case-sensitive alphabetic order.
"xxx-rev": reversibly order by preset xxx.
"modified_date": order by git commit dates
Suggestions for different order preset are welcomed.
The text was updated successfully, but these errors were encountered:
Currently, it uses case-insensitive alphabetic order for demos, it might be helpful to allow users to specify a more "meaningful" order preset. For example:
This doesn't break the current syntax, as the previous
order
is defined as a list (not a string):Here are presets that I guess would be useful:
"Alphabetic"
: case-sensitive alphabetic order."xxx-rev"
: reversibly order by presetxxx
."modified_date"
: order by git commit datesSuggestions for different
order
preset are welcomed.The text was updated successfully, but these errors were encountered: