Skip to content

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

  • Every language has the same keybinds so it is easy to remember keybinds and not have to remember thousands of keybinds.
  • The only keybind that doesnt change no matter what happens is creating a new project. Enter the language you want, then enter the project name and boom! new project.
    require("Polydev"}.language.setup({
      keybinds = [
        ["<Esc>"] = "CloseTerminal",
        ["<leader>pb"] = "languageBuild",
        ["<leader>pr"] = "languageRun",
        ["<leader>nf"] = "NewlanguageFile", -- such as .c files
        ["<leader>nh"] = "Newlanguage_secondaryFile", -- such as .h files
      }
    })
    

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
-- 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,
  }
})