Magnus Jensen

Results 17 issues of Magnus Jensen

I checked out the repo, and saw in the Discord.js guide, that it's not possible, to disable the mention prefix. So I decided to make it availabe to pass it...

enhancement

**Minecraft Version :** 1.16.5 **Mohist Version :** 883 (MD5: 4f0b13847e13fae41cabd8342c19bc06) **Operating System :** RHEL8 **Concerned mod / plugin** : CoreProtect v20.1 (https://www.spigotmc.org/resources/coreprotect.8631/update?update=415747) **Logs :** Link(s) of logs and crash reports...

This is a backport of #624 This adds a very simple search bar, no fancy search algorithm. Just a simple Java `string.toLowerCase().contains()` check. Here is a small demo video. _(Feel...

This PR closes: #568 This PR closes: #391 This adds a very simple search bar, no fancy search algorithm. Just a simple Java `string.toLowerCase().contains()` check. I'm more than happy to...

This is a backport of #624 due to me wanting it on 1.16.x :D This adds a very simple search bar, no fancy search algorithm. Just a simple Java `string.toLowerCase().contains()`...