Update worldEdit.ts

This commit is contained in:
redbirdly 2025-08-01 09:56:41 +08:00 committed by GitHub
parent 7794e041aa
commit 7e42797020
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 12 deletions

View File

@ -1,9 +1,6 @@
// WorldEdit.ts // WorldEdit.ts
// Version: 1.0.0 // Version: 1.0.0
// Other mods
w_ensureModEnabled("mods/betterSettings.js")
// Interfaces // Interfaces
interface WorldEditState { interface WorldEditState {
firstSelectionPos: Vec2D, firstSelectionPos: Vec2D,
@ -124,15 +121,6 @@ class Rect {
} }
// Functions // Functions
function w_ensureModEnabled(modName: string) {
if (enabledMods.includes(modName))
return
enabledMods.unshift(modName)
localStorage.setItem("enabledMods", JSON.stringify(enabledMods))
window.location.reload()
}
function isPointInWorld(point: Vec2D): boolean { function isPointInWorld(point: Vec2D): boolean {
return point.x >= 0 && point.x <= width && point.y >= 0 && point.y <= height return point.x >= 0 && point.x <= width && point.y >= 0 && point.y <= height
} }