JosephFerano/discord-bot-game
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

WIP: Buttons events

Browse Source
This commit is contained in:
Joseph Ferano 2022-01-05 17:54:13 +07:00
parent 2565bd853f
commit bacb5d3923
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
Program.fs
View File

@ -3,7 +3,7 @@ open System.Threading.Tasks
open DSharpPlus open DSharpPlus
open DSharpPlus.Entities open DSharpPlus.Entities
open DSharpPlus.SlashCommands open DSharpPlus.SlashCommands
open Microsoft.Extensions.Logging open Emzi0767.Utilities
type Move = type Move =
| Rock | Rock
@ -201,6 +201,14 @@ config.Intents <- DiscordIntents.All
// config.MinimumLogLevel <- LogLevel.Trace // config.MinimumLogLevel <- LogLevel.Trace
let client = new DiscordClient(config) let client = new DiscordClient(config)
client.add_ComponentInteractionCreated(AsyncEventHandler(
fun client event ->
async {
return ()
} |> Async.StartAsTask
:> Task))
let slash = client.UseSlashCommands() let slash = client.UseSlashCommands()
slash.RegisterCommands<JoeBot>(); slash.RegisterCommands<JoeBot>();