1.5 KiB
1.5 KiB
Setup and Customizing
Project Name
require("Polydev").language.setup({
project_root = "~/Home/..." -- Default: ~/Projects/Language
})
- You can change the default directory for the project. The project can be made from anywhere you want.
- It will automatically make the new Root Directory, so you don't have to worry about making it.
Keybinds
- Keybinds are different for each language, but each one can be changed. Look at the language you want to change for keybind documentation.
Terminal
- The terminal has a couple of options that can be customized and with more to come
- Each is set to 0 by default
- right_padding: Padding for the right width of the terminal
- left_padding: Padding for the left width of the terminal
- top_padding: Padding for the top height of the terminal
- bottom_padding: Padding for the bottom padding of the terminal
- Each is enabled by default
- border: Adds a rounded border to the window
- number: Adds numbers to side of terminal
- relativenumber: Relative numbers indicate distances from the cursor, only works if number is enabled
- scroll: Allows scrolling in terminal
- Each is set to 0 by default
-- These are just defaults, so no need to copy them
require("Polydev").language.setup({
terminal = {
right_padding = 0,
bottom_padding = 0,
left_padding = 0,
top_padding = 0,
border = true,
number = true,
relativenumber = true,
scroll = true,
}
})