nixos-config/modules/home/micro/default.nix

{ pkgs, ... }: 
{
  programs.micro = {
    enable = true;
    
    settings = {
      "colorscheme" = "catppuccin-mocha";
      "*.nix" = {"tabsize" = 2;};
      "*.ml"  = {"tabsize" = 2;};
      # "tabstospaces" = true;
      "tabsize" = 4;
    };
  };

  xdg.configFile."micro/bindings.json".text = ''
    {
      "Ctrl-Up": "CursorUp,CursorUp,CursorUp,CursorUp,CursorUp,CursorUp,CursorUp,CursorUp,CursorUp,CursorUp",
      "Ctrl-Down": "CursorDown,CursorDown,CursorDown,CursorDown,CursorDown,CursorDown,CursorDown,CursorDown,CursorDown,CursorDown",
      "Ctrl-Backspace": "DeleteWordLeft",
      "Ctrl-Delete": "DeleteWordRight"
    }
  '';

  xdg.configFile."micro/colorschemes/catppuccin-mocha.micro".text = ''
    color-link comment "#585B70"

    color-link identifier "#89B4FA"
    color-link identifier.class "#89B4FA"
    color-link identifier.var "#89B4FA"

    color-link constant "#FAB387"
    color-link constant.number "#FAB387"
    color-link constant.string "#A6E3A1"

    color-link symbol "#F5C2E7"
    color-link symbol.brackets "#F2CDCD"
    color-link symbol.tag "#89B4FA"

    color-link type "#89B4FA"
    color-link type.keyword "#F9E2AF"

    color-link special "#F5C2E7"
    color-link statement "#CBA6F7"
    color-link preproc "#F5C2E7"

    color-link underlined "#89DCEB"
    color-link error "bold #F38BA8"
    color-link todo "bold #F9E2AF"

    color-link diff-added "#A6E3A1"
    color-link diff-modified "#F9E2AF"
    color-link diff-deleted "#F38BA8"

    color-link gutter-error "#F38BA8"
    color-link gutter-warning "#F9E2AF"

    color-link statusline "#CDD6F4,#181825"
    color-link tabbar "#CDD6F4"
    color-link indent-char "#45475A"
    color-link line-number "#45475A"
    color-link current-line-number "#B4BEFE"

    color-link color-column "#313244"
    color-link type.extended "default"

  '';
}