New font party!

9cf4e921760b0468dd009a015efe1cbd2a707253
Alexis Sellier committed ago 1 parent f392389b
.config/kitty/kitty.conf +10 -7
1 - 
font_family               Victor Mono Medium
2 - 
bold_font                 Victor Mono SemiBold
3 - 
italic_font               Victor Mono Medium
4 - 
bold_italic_font          Victor Mono SemiBold
1 + 
font_family               JetBrains Mono Regular
2 + 
bold_font                 JetBrains Mono Medium
3 + 
italic_font               JetBrains Mono Italic
4 + 
bold_italic_font          JetBrains Mono Medium Italic
5 5 
font_size                 13.0
6 - 
adjust_line_height       -3
6 + 
adjust_line_height        0
7 7 
enable_audio_bell         no
8 8 

    

  
    

      9
      9
       
      
scrollback_lines          8192

    

  
    

      10
      
      -
      
input_delay               16

    

  
    

      11
      
      -
      
repaint_delay             16

    

  
    

      
      10
      +
      
input_delay               8

    

  
    

      
      11
      +
      
repaint_delay             8

    

  
    

      12
      12
       
      
sync_to_monitor           yes

    

  
    

      13
      13
       
      
draw_minimal_borders      yes

    

  
    

      14
      14
       
      
cursor_blink_interval     0

    

  
    

      15
      15
       
      
strip_trailing_spaces     always

    

  
    

      16
      16
       
      
hide_window_decorations   yes

    

  
    

      17
      17
       
      
open_url_modifiers        shift

    

  
    

      18
      18
       
      

    

  
    

      
      19
      +
      
resize_debounce_time      0.0

    

  
    

      
      20
      +
      
resize_in_steps           no

    

  
    

      
      21
      +
      

    

  
    

      19
      22
       
      
window_resize_step_cells  2

    

  
    

      20
      23
       
      
window_resize_step_lines  2

    

  
    

      21
      24
       
      
window_padding_width      12.0

    

  
    

      22
      25
       
      
window_margin_width       3.0

    

  
    

      23
      26
       
      

    

  
  
  

  
  





  

    
      .xmonad/xmonad.hs
    
    
    +2 -2 
  

  
  
  
  

  
  
    

      77
      77
       
      
    home <- getHomeDirectory

    

  
    

      78
      78
       
      
    xmproc <- spawnPipe "xmobar"

    

  
    

      79
      79
       
      
    xmonad $ withUrgencyHook NoUrgencyHook $ ewmh $ desktopConfig

    

  
    

      80
      80
       
      
        { terminal           = termName

    

  
    

      81
      81
       
      
        , workspaces         = ["α", "β", "γ", "δ", "φ", "σ", "η", "θ", "λ", "ω"]

    

  
    

      82
      
      -
      
        , focusedBorderColor = "#333333" -- previously: medium aquamarine

    

  
    

      83
      
      -
      
        , normalBorderColor  = "#111111" -- previously: #1F1F1F

    

  
    

      
      82
      +
      
        , focusedBorderColor = "medium aquamarine"

    

  
    

      
      83
      +
      
        , normalBorderColor  = "#1F1F1F"

    

  
    

      84
      84
       
      
        , borderWidth        = 1

    

  
    

      85
      85
       
      
        , handleEventHook    = mconcat [docksEventHook, handleEventHook def]

    

  
    

      86
      86
       
      
        , keys               = myKeys home

    

  
    

      87
      87
       
      
        , logHook            = dynamicLogWithPP (barConfig xmproc)

    

  
    

      88
      88
       
      
        , layoutHook         = smartBorders $ avoidStruts $ myLayout