@@ -78,7 +78,7 @@ you to:
7878- View real-time logs and debug information
7979- Access development utilities and tools
8080
81- ## Configuration Options
81+ ## Configuration options
8282
8383The devtools plugin accepts several configuration options to customize
8484its behavior:
@@ -107,14 +107,14 @@ export default defineConfig({
107107});
108108```
109109
110- ### Configuration Properties
110+ ### Configuration properties
111111
112112- ` port ` (number): The port number for the devtools web interface
113113 (default: ` 4356 ` )
114114- ` features ` (object): Enable or disable specific devtools features
115115- ` enableLogging ` (boolean): Enable enhanced logging capabilities
116116
117- ## Development Workflow
117+ ## Development workflow
118118
119119The devtools plugin integrates seamlessly with CommandKit's
120120development workflow:
@@ -160,7 +160,7 @@ managing your Discord bot during development:
160160
161161## Troubleshooting
162162
163- ### Port Already in Use
163+ ### Port already in use
164164
165165If port ` 4356 ` is already in use, you can specify a different port in
166166the configuration:
@@ -169,7 +169,7 @@ the configuration:
169169devtools ({ port: 4357 });
170170```
171171
172- ### Interface Not Loading
172+ ### Interface not loading
173173
174174Ensure that:
175175
@@ -178,15 +178,15 @@ Ensure that:
1781783 . No firewall is blocking the specified port
1791794 . You're accessing the correct URL (` http://localhost:4356 ` )
180180
181- ### Performance Issues
181+ ### Performance issues
182182
183183If you experience performance issues:
184184
1851851 . Disable unnecessary features in the configuration
1861862 . Reduce logging verbosity
1871873 . Consider using a different port
188188
189- ## Feedback and Contributions
189+ ## Feedback and contributions
190190
191191As this plugin is in early development, your feedback is valuable for
192192improving the devtools experience. Please report issues, suggest
0 commit comments