Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[pull] main from Predidit:main #8

Open
wants to merge 778 commits into
base: main
Choose a base branch
from
Open

[pull] main from Predidit:main #8

wants to merge 778 commits into from

Conversation

pull[bot]
Copy link

@pull pull bot commented Jul 19, 2024

See Commits and Changes for more details.


Created by pull[bot]

Can you help keep this open source service alive? 💖 Please sponsor : )

@pull pull bot added the ⤵️ pull label Jul 19, 2024
AoEiuV020 and others added 29 commits December 26, 2024 23:57
- Support batch delete operations
- Add installTime field to Plugin class
- Get install time from file modification time if not set
- Display install time in plugin list
- Sort by installTime in descending order by default
- Replace index-based selection with name-based selection
- Add PluginValidityTracker to track plugin search validity
- Track plugins that have successfully returned search results
- Display search validity status in plugin manager
- Move install time tracking from Plugin class to dedicated PluginInstallTimeTracker
Optimize plugin management features
Predidit and others added 30 commits January 25, 2025 11:52
another fix for player
- Added default value for `exitBehavior` on close event
Default exit behavior setting
* add BBCode.g4

* Rename bbcode.g4 to BBCode.g4

* try

* basic

* delete useless files

* fix

* Done

* dart format

* remove old parser
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

8 participants