`c4b4cfb`

feat: Add LSP Server Manager with first-run experience

Implements a comprehensive language server management system inspired by
Neovim's Mason, providing users an easy way to discover and install LSP
servers directly from the editor.

Features:
- First-run experience: LSP Server Manager automatically appears on first launch
- Alt+M keybinding: Toggle the manager panel anytime
- 20 language servers supported including Python, C/C++, Rust, Go, JavaScript/TypeScript, Lua, Ruby, Java, and more
- Installation with confirmation: Select a server, press Enter to see install command, Y to confirm
- Server status detection: Uses 'which' to detect installed servers
- Navigation: j/k or arrows to navigate, r to refresh, Esc/q to close
- State persistence: First-run state stored in ~/.config/fac/state.json

New modules:
- src/workspace/app_state_module.f90: First-run detection and state persistence
- src/lsp/server_detection_module.f90: Detect installed language servers
- src/lsp/server_installer_module.f90: Execute installation commands
- src/ui/lsp_server_installer_panel_module.f90: Modal UI panel

Additional fixes:
- Fixed modal panel border alignment (Command Palette & LSP Server Manager)
- Removed circular dependency in unified_search_module
- Updated Makefile with new modules in correct dependency order

Authored by

espadonne 5 months ago

SHA: c4b4cfb5329ede35687acade0c27d2071960865c
Parents: f5da84c
Tree: 9420991

4 changed files

Status	File	+
A	`src/lsp/server_detection_module.f90`	230
A	`src/lsp/server_installer_module.f90`	44
A	`src/ui/lsp_server_installer_panel_module.f90`	377
A	`src/workspace/app_state_module.f90`	150

src/lsp/server_detection_module.f90added

 +module server_detection_module
 +    implicit none
 +    private
++
 +    public :: detected_server_t
 +    public :: detect_all_servers, check_server_installed
 +    public :: get_known_servers_count
++
 +    integer, parameter :: MAX_SERVERS = 30
++
 +    type :: detected_server_t
 +        character(len=64) :: name = ''           ! "pyright", "clangd", etc.
 +        character(len=32) :: language = ''       ! "python", "c", etc.
 +        character(len=256) :: install_cmd = ''   ! "pip install pyright"
 +        character(len=256) :: description = ''   ! "Python type checker and language server"
 +        character(len=128) :: check_cmd = ''     ! Command to check if installed
 +        logical :: is_installed = .false.        ! Result of detection
 +        character(len=64) :: version = ''        ! Detected version (if installed)
 +    end type detected_server_t
++
 +contains
++
 +    function get_known_servers_count() result(count)
 +        integer :: count
 +        count = 20  ! Number of servers we know about
 +    end function get_known_servers_count
++
 +    subroutine detect_all_servers(servers, num_servers)
 +        type(detected_server_t), intent(out), allocatable :: servers(:)
 +        integer, intent(out) :: num_servers
 +        integer :: i
++
 +        num_servers = get_known_servers_count()
 +        allocate(servers(num_servers))
++
 +        ! Initialize all known servers
 +        call init_known_servers(servers, num_servers)
++
 +        ! Check which are installed
 +        do i = 1, num_servers
 +            servers(i)%is_installed = check_server_installed(servers(i)%check_cmd)
 +        end do
 +    end subroutine detect_all_servers
++
 +    subroutine init_known_servers(servers, num_servers)
 +        type(detected_server_t), intent(inout) :: servers(:)
 +        integer, intent(in) :: num_servers
 +        integer :: i
++
 +        i = 1
++
 +        ! Python - Pyright
 +        servers(i)%name = 'pyright'
 +        servers(i)%language = 'Python'
 +        servers(i)%install_cmd = 'pip install pyright'
 +        servers(i)%description = 'Python type checker and language server'
 +        servers(i)%check_cmd = 'pyright-langserver'
 +        i = i + 1
++
 +        ! Python - Ruff
 +        servers(i)%name = 'ruff'
 +        servers(i)%language = 'Python'
 +        servers(i)%install_cmd = 'pip install ruff'
 +        servers(i)%description = 'Fast Python linter with auto-fix'
 +        servers(i)%check_cmd = 'ruff'
 +        i = i + 1
++
 +        ! Python - python-lsp-server
 +        servers(i)%name = 'python-lsp-server'
 +        servers(i)%language = 'Python'
 +        servers(i)%install_cmd = 'pip install python-lsp-server'
 +        servers(i)%description = 'Python LSP (pylsp) with plugins support'
 +        servers(i)%check_cmd = 'pylsp'
 +        i = i + 1
++
 +        ! C/C++ - clangd
 +        servers(i)%name = 'clangd'
 +        servers(i)%language = 'C/C++'
 +        servers(i)%install_cmd = 'brew install llvm'
 +        servers(i)%description = 'C/C++ language server from LLVM'
 +        servers(i)%check_cmd = 'clangd'
 +        i = i + 1
++
 +        ! Rust - rust-analyzer
 +        servers(i)%name = 'rust-analyzer'
 +        servers(i)%language = 'Rust'
 +        servers(i)%install_cmd = 'rustup component add rust-analyzer'
 +        servers(i)%description = 'Rust language server'
 +        servers(i)%check_cmd = 'rust-analyzer'
 +        i = i + 1
++
 +        ! Go - gopls
 +        servers(i)%name = 'gopls'
 +        servers(i)%language = 'Go'
 +        servers(i)%install_cmd = 'go install golang.org/x/tools/gopls@latest'
 +        servers(i)%description = 'Go language server'
 +        servers(i)%check_cmd = 'gopls'
 +        i = i + 1
++
 +        ! TypeScript/JavaScript - typescript-language-server
 +        servers(i)%name = 'typescript-language-server'
 +        servers(i)%language = 'JS/TS'
 +        servers(i)%install_cmd = 'npm install -g typescript-language-server typescript'
 +        servers(i)%description = 'JavaScript and TypeScript language server'
 +        servers(i)%check_cmd = 'typescript-language-server'
 +        i = i + 1
++
 +        ! JavaScript/TypeScript - vtsls (faster alternative)
 +        servers(i)%name = 'vtsls'
 +        servers(i)%language = 'JS/TS'
 +        servers(i)%install_cmd = 'npm install -g @vtsls/language-server'
 +        servers(i)%description = 'Fast TypeScript language server'
 +        servers(i)%check_cmd = 'vtsls'
 +        i = i + 1
++
 +        ! Lua - lua-language-server
 +        servers(i)%name = 'lua-language-server'
 +        servers(i)%language = 'Lua'
 +        servers(i)%install_cmd = 'brew install lua-language-server'
 +        servers(i)%description = 'Lua language server by sumneko'
 +        servers(i)%check_cmd = 'lua-language-server'
 +        i = i + 1
++
 +        ! Ruby - solargraph
 +        servers(i)%name = 'solargraph'
 +        servers(i)%language = 'Ruby'
 +        servers(i)%install_cmd = 'gem install solargraph'
 +        servers(i)%description = 'Ruby language server'
 +        servers(i)%check_cmd = 'solargraph'
 +        i = i + 1
++
 +        ! Java - jdtls
 +        servers(i)%name = 'jdtls'
 +        servers(i)%language = 'Java'
 +        servers(i)%install_cmd = 'brew install jdtls'
 +        servers(i)%description = 'Eclipse JDT Language Server'
 +        servers(i)%check_cmd = 'jdtls'
 +        i = i + 1
++
 +        ! HTML/CSS/JSON - vscode-langservers-extracted
 +        servers(i)%name = 'vscode-langservers'
 +        servers(i)%language = 'HTML/CSS/JSON'
 +        servers(i)%install_cmd = 'npm i -g vscode-langservers-extracted'
 +        servers(i)%description = 'HTML, CSS, JSON language servers'
 +        servers(i)%check_cmd = 'vscode-html-language-server'
 +        i = i + 1
++
 +        ! Bash - bash-language-server
 +        servers(i)%name = 'bash-language-server'
 +        servers(i)%language = 'Bash'
 +        servers(i)%install_cmd = 'npm i -g bash-language-server'
 +        servers(i)%description = 'Bash/Shell language server'
 +        servers(i)%check_cmd = 'bash-language-server'
 +        i = i + 1
++
 +        ! YAML - yaml-language-server
 +        servers(i)%name = 'yaml-language-server'
 +        servers(i)%language = 'YAML'
 +        servers(i)%install_cmd = 'npm i -g yaml-language-server'
 +        servers(i)%description = 'YAML language server'
 +        servers(i)%check_cmd = 'yaml-language-server'
 +        i = i + 1
++
 +        ! Docker - dockerfile-language-server
 +        servers(i)%name = 'dockerfile-langserver'
 +        servers(i)%language = 'Docker'
 +        servers(i)%install_cmd = 'npm i -g dockerfile-language-server-nodejs'
 +        servers(i)%description = 'Dockerfile language server'
 +        servers(i)%check_cmd = 'docker-langserver'
 +        i = i + 1
++
 +        ! Zig - zls
 +        servers(i)%name = 'zls'
 +        servers(i)%language = 'Zig'
 +        servers(i)%install_cmd = 'brew install zls'
 +        servers(i)%description = 'Zig language server'
 +        servers(i)%check_cmd = 'zls'
 +        i = i + 1
++
 +        ! Swift - sourcekit-lsp
 +        servers(i)%name = 'sourcekit-lsp'
 +        servers(i)%language = 'Swift'
 +        servers(i)%install_cmd = '# Included with Xcode'
 +        servers(i)%description = 'Swift/Obj-C language server'
 +        servers(i)%check_cmd = 'sourcekit-lsp'
 +        i = i + 1
++
 +        ! Haskell - haskell-language-server
 +        servers(i)%name = 'haskell-language-server'
 +        servers(i)%language = 'Haskell'
 +        servers(i)%install_cmd = 'ghcup install hls'
 +        servers(i)%description = 'Haskell language server'
 +        servers(i)%check_cmd = 'haskell-language-server-wrapper'
 +        i = i + 1
++
 +        ! Terraform - terraform-ls
 +        servers(i)%name = 'terraform-ls'
 +        servers(i)%language = 'Terraform'
 +        servers(i)%install_cmd = 'brew install hashicorp/tap/terraform-ls'
 +        servers(i)%description = 'Terraform language server'
 +        servers(i)%check_cmd = 'terraform-ls'
 +        i = i + 1
++
 +        ! Fortran - fortls
 +        servers(i)%name = 'fortls'
 +        servers(i)%language = 'Fortran'
 +        servers(i)%install_cmd = 'pip install fortls'
 +        servers(i)%description = 'Fortran language server'
 +        servers(i)%check_cmd = 'fortls'
 +    end subroutine init_known_servers
++
 +    function check_server_installed(cmd_name) result(installed)
 +        character(len=*), intent(in) :: cmd_name
 +        logical :: installed
 +        character(len=512) :: check_command
 +        integer :: exit_status
++
 +        installed = .false.
 +        if (len_trim(cmd_name) == 0) return
++
 +        ! Use 'which' on Unix to check if command exists
 +        ! Redirect output to /dev/null to suppress it
 +        check_command = 'which ' // trim(cmd_name) // ' > /dev/null 2>&1'
++
 +        call execute_command_line(trim(check_command), wait=.true., exitstat=exit_status)
++
 +        installed = (exit_status == 0)
 +    end function check_server_installed
++
 +end module server_detection_module

src/lsp/server_installer_module.f90added

 +module server_installer_module
 +    implicit none
 +    private
++
 +    public :: run_install_command
 +    public :: install_result_t
++
 +    type :: install_result_t
 +        logical :: success = .false.
 +        integer :: exit_code = -1
 +        character(len=1024) :: message = ''
 +    end type install_result_t
++
 +contains
++
 +    function run_install_command(command) result(result)
 +        character(len=*), intent(in) :: command
 +        type(install_result_t) :: result
 +        integer :: exit_status
++
 +        result%success = .false.
 +        result%exit_code = -1
 +        result%message = ''
++
 +        if (len_trim(command) == 0) then
 +            result%message = 'No command specified'
 +            return
 +        end if
++
 +        ! Execute the command
 +        ! Note: This runs synchronously and blocks until complete
 +        call execute_command_line(trim(command), wait=.true., exitstat=exit_status)
++
 +        result%exit_code = exit_status
 +        result%success = (exit_status == 0)
++
 +        if (result%success) then
 +            result%message = 'Installation completed successfully'
 +        else
 +            write(result%message, '(A,I0)') 'Installation failed with exit code: ', exit_status
 +        end if
 +    end function run_install_command
++
 +end module server_installer_module

src/ui/lsp_server_installer_panel_module.f90added

 +module lsp_server_installer_panel_module
 +    use terminal_io_module
 +    use server_detection_module, only: detected_server_t, detect_all_servers, check_server_installed
 +    use server_installer_module, only: run_install_command, install_result_t
 +    implicit none
 +    private
++
 +    public :: lsp_server_installer_panel_t
 +    public :: init_lsp_server_installer_panel, cleanup_lsp_server_installer_panel
 +    public :: show_lsp_server_installer_panel, hide_lsp_server_installer_panel
 +    public :: is_lsp_server_installer_panel_visible
 +    public :: lsp_server_installer_panel_handle_key
 +    public :: render_lsp_server_installer_panel
 +    public :: refresh_server_status
++
 +    integer, parameter :: PANEL_WIDTH = 62
 +    integer, parameter :: MAX_VISIBLE = 8
++
 +    type :: lsp_server_installer_panel_t
 +        logical :: visible = .false.
 +        integer :: selected_index = 1
 +        integer :: scroll_offset = 0
 +        type(detected_server_t), allocatable :: servers(:)
 +        integer :: num_servers = 0
 +        logical :: confirm_mode = .false.
 +        integer :: confirm_server_index = 0
 +        logical :: installing = .false.
 +        character(len=256) :: status_message = ''
 +    end type lsp_server_installer_panel_t
++
 +contains
++
 +    subroutine init_lsp_server_installer_panel(panel)
 +        type(lsp_server_installer_panel_t), intent(out) :: panel
++
 +        panel%visible = .false.
 +        panel%selected_index = 1
 +        panel%scroll_offset = 0
 +        panel%num_servers = 0
 +        panel%confirm_mode = .false.
 +        panel%confirm_server_index = 0
 +        panel%installing = .false.
 +        panel%status_message = ''
 +    end subroutine init_lsp_server_installer_panel
++
 +    subroutine cleanup_lsp_server_installer_panel(panel)
 +        type(lsp_server_installer_panel_t), intent(inout) :: panel
++
 +        if (allocated(panel%servers)) deallocate(panel%servers)
 +        panel%num_servers = 0
 +    end subroutine cleanup_lsp_server_installer_panel
++
 +    subroutine show_lsp_server_installer_panel(panel)
 +        type(lsp_server_installer_panel_t), intent(inout) :: panel
++
 +        panel%visible = .true.
 +        panel%selected_index = 1
 +        panel%scroll_offset = 0
 +        panel%confirm_mode = .false.
 +        panel%status_message = ''
++
 +        ! Detect servers if not already done
 +        if (panel%num_servers == 0) then
 +            call refresh_server_status(panel)
 +        end if
 +    end subroutine show_lsp_server_installer_panel
++
 +    subroutine hide_lsp_server_installer_panel(panel)
 +        type(lsp_server_installer_panel_t), intent(inout) :: panel
 +        panel%visible = .false.
 +        panel%confirm_mode = .false.
 +    end subroutine hide_lsp_server_installer_panel
++
 +    function is_lsp_server_installer_panel_visible(panel) result(visible)
 +        type(lsp_server_installer_panel_t), intent(in) :: panel
 +        logical :: visible
 +        visible = panel%visible
 +    end function is_lsp_server_installer_panel_visible
++
 +    subroutine refresh_server_status(panel)
 +        type(lsp_server_installer_panel_t), intent(inout) :: panel
++
 +        if (allocated(panel%servers)) deallocate(panel%servers)
 +        call detect_all_servers(panel%servers, panel%num_servers)
 +        panel%status_message = 'Server status refreshed'
 +    end subroutine refresh_server_status
++
 +    function lsp_server_installer_panel_handle_key(panel, key) result(handled)
 +        type(lsp_server_installer_panel_t), intent(inout) :: panel
 +        character(len=*), intent(in) :: key
 +        logical :: handled
 +        type(install_result_t) :: result
++
 +        handled = .true.
++
 +        ! Handle confirm mode separately
 +        if (panel%confirm_mode) then
 +            select case(trim(key))
 +            case('y', 'Y')
 +                ! Execute installation
 +                panel%installing = .true.
 +                panel%status_message = 'Installing ' // trim(panel%servers(panel%confirm_server_index)%name) // '...'
++
 +                result = run_install_command(trim(panel%servers(panel%confirm_server_index)%install_cmd))
++
 +                panel%installing = .false.
 +                if (result%success) then
 +                    panel%status_message = 'Successfully installed ' // trim(panel%servers(panel%confirm_server_index)%name)
 +                    ! Refresh to update status
 +                    call refresh_server_status(panel)
 +                else
 +                    panel%status_message = 'Installation failed. Try manually: ' // &
 +                        trim(panel%servers(panel%confirm_server_index)%install_cmd)
 +                end if
 +                panel%confirm_mode = .false.
++
 +            case('n', 'N', 'esc', 'escape')
 +                panel%confirm_mode = .false.
 +                panel%status_message = ''
++
 +            case default
 +                ! Ignore other keys in confirm mode
 +            end select
 +            return
 +        end if
++
 +        ! Normal mode key handling
 +        select case(trim(key))
 +        case('j', 'down')
 +            if (panel%selected_index < panel%num_servers) then
 +                panel%selected_index = panel%selected_index + 1
 +                ! Scroll if needed
 +                if (panel%selected_index > panel%scroll_offset + MAX_VISIBLE) then
 +                    panel%scroll_offset = panel%selected_index - MAX_VISIBLE
 +                end if
 +            end if
++
 +        case('k', 'up')
 +            if (panel%selected_index > 1) then
 +                panel%selected_index = panel%selected_index - 1
 +                ! Scroll if needed
 +                if (panel%selected_index <= panel%scroll_offset) then
 +                    panel%scroll_offset = panel%selected_index - 1
 +                end if
 +            end if
++
 +        case('enter')
 +            ! Only allow install for non-installed servers
 +            if (panel%num_servers > 0 .and. panel%selected_index <= panel%num_servers) then
 +                if (.not. panel%servers(panel%selected_index)%is_installed) then
 +                    panel%confirm_mode = .true.
 +                    panel%confirm_server_index = panel%selected_index
 +                else
 +                    panel%status_message = trim(panel%servers(panel%selected_index)%name) // ' is already installed'
 +                end if
 +            end if
++
 +        case('r', 'R')
 +            ! Refresh server status
 +            call refresh_server_status(panel)
++
 +        case('esc', 'escape', 'q')
 +            call hide_lsp_server_installer_panel(panel)
++
 +        case default
 +            handled = .false.
 +        end select
 +    end function lsp_server_installer_panel_handle_key
++
 +    subroutine render_lsp_server_installer_panel(panel, screen_rows, screen_cols)
 +        type(lsp_server_installer_panel_t), intent(in) :: panel
 +        integer, intent(in) :: screen_rows, screen_cols
 +        integer :: start_col, start_row, row, i, visible_end
 +        integer :: content_width, visible_len, status_len, padding
 +        character(len=:), allocatable :: border_top, border_mid, border_bottom
 +        character(len=128) :: visible_text, status_text
 +        character(len=*), parameter :: ESC = char(27)
 +        character(len=*), parameter :: GREEN = ESC // '[32m'
 +        character(len=*), parameter :: RED = ESC // '[31m'
 +        character(len=*), parameter :: CYAN = ESC // '[36m'
 +        character(len=*), parameter :: YELLOW = ESC // '[33m'
 +        character(len=*), parameter :: DIM = ESC // '[90m'
 +        character(len=*), parameter :: INVERSE = ESC // '[7m'
 +        character(len=*), parameter :: RESET = ESC // '[0m'
++
 +        if (.not. panel%visible) return
++
 +        ! Calculate centering
 +        content_width = min(PANEL_WIDTH, screen_cols - 4)
 +        start_col = max(1, (screen_cols - content_width) / 2)
 +        start_row = 2
++
 +        ! Build borders
 +        border_top = '┌' // repeat('─', content_width - 2) // '┐'
 +        border_mid = '├' // repeat('─', content_width - 2) // '┤'
 +        border_bottom = '└' // repeat('─', content_width - 2) // '┘'
++
 +        ! Render confirm dialog if in confirm mode
 +        if (panel%confirm_mode) then
 +            call render_confirm_dialog(panel, screen_rows, screen_cols)
 +            return
 +        end if
++
 +        ! Draw top border
 +        call terminal_move_cursor(start_row, start_col)
 +        call terminal_write(border_top)
++
 +        ! Draw header
 +        row = start_row + 1
 +        call terminal_move_cursor(row, start_col)
 +        call terminal_write('│' // CYAN // ' Language Server Manager' // RESET)
 +        call terminal_write(repeat(' ', content_width - 31) // DIM // 'Alt+M' // RESET // ' │')
++
 +        ! Draw separator
 +        row = row + 1
 +        call terminal_move_cursor(row, start_col)
 +        call terminal_write(border_mid)
++
 +        ! Draw server list
 +        visible_end = min(panel%scroll_offset + MAX_VISIBLE, panel%num_servers)
 +        do i = panel%scroll_offset + 1, visible_end
 +            row = row + 1
 +            call terminal_move_cursor(row, start_col)
 +            call terminal_write('│')
++
 +            ! Build line content (visible text only for width calculation)
 +            ! Format: " ✓ servername (Language) <spaces> status"
 +            visible_text = ' ✓ ' // trim(panel%servers(i)%name) // ' (' // &
 +                          trim(panel%servers(i)%language) // ')'
++
 +            ! Calculate visible length (icon + space + name + space + language + parens)
 +            visible_len = len_trim(visible_text)
++
 +            ! Add status text length
 +            if (panel%servers(i)%is_installed) then
 +                status_text = 'installed'
 +                status_len = 9
 +            else
 +                status_text = 'Enter to install'
 +                status_len = 16
 +            end if
++
 +            ! Calculate padding needed (content_width - 2 for borders, minus visible text, minus status)
 +            padding = max(1, content_width - 2 - visible_len - status_len)
++
 +            ! Highlight selected row
 +            if (i == panel%selected_index) then
 +                call terminal_write(INVERSE)
 +            end if
++
 +            ! Write status icon with color
 +            if (panel%servers(i)%is_installed) then
 +                call terminal_write(' ' // GREEN // '✓' // RESET // ' ')
 +            else
 +                call terminal_write(' ' // RED // '✗' // RESET // ' ')
 +            end if
++
 +            ! Write server name and language
 +            call terminal_write(trim(panel%servers(i)%name) // ' (' // &
 +                               trim(panel%servers(i)%language) // ')')
++
 +            ! Write padding
 +            call terminal_write(repeat(' ', padding))
++
 +            ! Write status text with color
 +            if (panel%servers(i)%is_installed) then
 +                call terminal_write(DIM // trim(status_text) // RESET)
 +            else
 +                call terminal_write(YELLOW // trim(status_text) // RESET)
 +            end if
++
 +            ! Reset highlighting
 +            if (i == panel%selected_index) then
 +                call terminal_write(RESET)
 +            end if
++
 +            call terminal_write('│')
 +        end do
++
 +        ! Fill remaining rows if needed
 +        do i = visible_end + 1, panel%scroll_offset + MAX_VISIBLE
 +            row = row + 1
 +            call terminal_move_cursor(row, start_col)
 +            call terminal_write('│' // repeat(' ', content_width - 2) // '│')
 +        end do
++
 +        ! Draw separator before footer
 +        row = row + 1
 +        call terminal_move_cursor(row, start_col)
 +        call terminal_write(border_mid)
++
 +        ! Draw status message or help
 +        row = row + 1
 +        call terminal_move_cursor(row, start_col)
 +        if (len_trim(panel%status_message) > 0) then
 +            call terminal_write('│ ' // YELLOW // trim(panel%status_message) // RESET)
 +            call terminal_write(repeat(' ', content_width - len_trim(panel%status_message) - 4) // ' │')
 +        else
 +            call terminal_write('│' // DIM // ' ↑↓ Navigate  Enter Install  r Refresh  Esc Close' // RESET)
 +            call terminal_write(repeat(' ', content_width - 52) // '│')
 +        end if
++
 +        ! Draw bottom border
 +        row = row + 1
 +        call terminal_move_cursor(row, start_col)
 +        call terminal_write(border_bottom)
++
 +        ! Hide cursor while panel is shown
 +        call terminal_hide_cursor()
 +    end subroutine render_lsp_server_installer_panel
++
 +    subroutine render_confirm_dialog(panel, screen_rows, screen_cols)
 +        type(lsp_server_installer_panel_t), intent(in) :: panel
 +        integer, intent(in) :: screen_rows, screen_cols
 +        integer :: start_col, start_row, row, content_width
 +        character(len=:), allocatable :: border_top, border_bottom
 +        character(len=256) :: server_name, install_cmd
 +        character(len=*), parameter :: ESC = char(27)
 +        character(len=*), parameter :: CYAN = ESC // '[36m'
 +        character(len=*), parameter :: YELLOW = ESC // '[33m'
 +        character(len=*), parameter :: GREEN = ESC // '[32m'
 +        character(len=*), parameter :: RED = ESC // '[31m'
 +        character(len=*), parameter :: RESET = ESC // '[0m'
++
 +        content_width = min(PANEL_WIDTH, screen_cols - 4)
 +        start_col = max(1, (screen_cols - content_width) / 2)
 +        start_row = 5
++
 +        border_top = '┌' // repeat('─', content_width - 2) // '┐'
 +        border_bottom = '└' // repeat('─', content_width - 2) // '┘'
++
 +        server_name = panel%servers(panel%confirm_server_index)%name
 +        install_cmd = panel%servers(panel%confirm_server_index)%install_cmd
++
 +        ! Top border
 +        call terminal_move_cursor(start_row, start_col)
 +        call terminal_write(border_top)
++
 +        ! Title
 +        row = start_row + 1
 +        call terminal_move_cursor(row, start_col)
 +        call terminal_write('│' // CYAN // ' Install ' // trim(server_name) // '?' // RESET)
 +        call terminal_write(repeat(' ', content_width - 12 - len_trim(server_name)) // '│')
++
 +        ! Blank line
 +        row = row + 1
 +        call terminal_move_cursor(row, start_col)
 +        call terminal_write('│' // repeat(' ', content_width - 2) // '│')
++
 +        ! Command
 +        row = row + 1
 +        call terminal_move_cursor(row, start_col)
 +        call terminal_write('│ Command: ' // YELLOW // trim(install_cmd) // RESET)
 +        call terminal_write(repeat(' ', content_width - 12 - len_trim(install_cmd)) // '│')
++
 +        ! Blank line
 +        row = row + 1
 +        call terminal_move_cursor(row, start_col)
 +        call terminal_write('│' // repeat(' ', content_width - 2) // '│')
++
 +        ! Yes/No buttons
 +        row = row + 1
 +        call terminal_move_cursor(row, start_col)
 +        call terminal_write('│' // repeat(' ', (content_width - 20) / 2))
 +        call terminal_write('[' // GREEN // 'Y' // RESET // ']es    ')
 +        call terminal_write('[' // RED // 'N' // RESET // ']o')
 +        call terminal_write(repeat(' ', (content_width - 20) / 2) // '│')
++
 +        ! Bottom border
 +        row = row + 1
 +        call terminal_move_cursor(row, start_col)
 +        call terminal_write(border_bottom)
++
 +        call terminal_hide_cursor()
 +    end subroutine render_confirm_dialog
++
 +end module lsp_server_installer_panel_module

src/workspace/app_state_module.f90added

 +module app_state_module
 +    use config_module, only: get_config_dir, ensure_config_dir
 +    implicit none
 +    private
++
 +    public :: app_state_t
 +    public :: app_state_load, app_state_save
 +    public :: is_first_run, mark_first_run_complete
++
 +    type :: app_state_t
 +        logical :: first_run_completed = .false.
 +        logical :: lsp_installer_seen = .false.
 +        character(len=16) :: version = '1.0'
 +    end type app_state_t
++
 +contains
++
 +    subroutine app_state_load(state)
 +        type(app_state_t), intent(out) :: state
 +        character(len=:), allocatable :: config_dir
 +        character(len=512) :: state_file
 +        character(len=1024) :: line
 +        integer :: unit_num, ios
 +        logical :: file_exists
++
 +        ! Initialize defaults
 +        state%first_run_completed = .false.
 +        state%lsp_installer_seen = .false.
 +        state%version = '1.0'
++
 +        ! Get config directory
 +        call get_config_dir(config_dir)
 +        if (.not. allocated(config_dir)) return
 +        state_file = trim(config_dir) // '/state.json'
++
 +        ! Check if file exists
 +        inquire(file=trim(state_file), exist=file_exists)
 +        if (.not. file_exists) return
++
 +        ! Read and parse JSON
 +        open(newunit=unit_num, file=trim(state_file), status='old', &
 +             action='read', iostat=ios)
 +        if (ios /= 0) return
++
 +        do
 +            read(unit_num, '(A)', iostat=ios) line
 +            if (ios /= 0) exit
++
 +            ! Parse simple JSON fields
 +            if (index(line, '"first_run_completed"') > 0) then
 +                if (index(line, 'true') > 0) then
 +                    state%first_run_completed = .true.
 +                else
 +                    state%first_run_completed = .false.
 +                end if
 +            else if (index(line, '"lsp_installer_seen"') > 0) then
 +                if (index(line, 'true') > 0) then
 +                    state%lsp_installer_seen = .true.
 +                else
 +                    state%lsp_installer_seen = .false.
 +                end if
 +            else if (index(line, '"version"') > 0) then
 +                call extract_json_string(line, 'version', state%version)
 +            end if
 +        end do
++
 +        close(unit_num)
 +    end subroutine app_state_load
++
 +    subroutine app_state_save(state)
 +        type(app_state_t), intent(in) :: state
 +        character(len=:), allocatable :: config_dir
 +        character(len=512) :: state_file
 +        integer :: unit_num, ios
 +        logical :: dir_success
++
 +        ! Ensure config directory exists
 +        call ensure_config_dir(dir_success)
 +        if (.not. dir_success) return
++
 +        ! Get config directory
 +        call get_config_dir(config_dir)
 +        if (.not. allocated(config_dir)) return
 +        state_file = trim(config_dir) // '/state.json'
++
 +        ! Write JSON
 +        open(newunit=unit_num, file=trim(state_file), status='replace', &
 +             action='write', iostat=ios)
 +        if (ios /= 0) return
++
 +        write(unit_num, '(A)') '{'
 +        if (state%first_run_completed) then
 +            write(unit_num, '(A)') '  "first_run_completed": true,'
 +        else
 +            write(unit_num, '(A)') '  "first_run_completed": false,'
 +        end if
 +        if (state%lsp_installer_seen) then
 +            write(unit_num, '(A)') '  "lsp_installer_seen": true,'
 +        else
 +            write(unit_num, '(A)') '  "lsp_installer_seen": false,'
 +        end if
 +        write(unit_num, '(A)') '  "version": "' // trim(state%version) // '"'
 +        write(unit_num, '(A)') '}'
++
 +        close(unit_num)
 +    end subroutine app_state_save
++
 +    function is_first_run() result(first_run)
 +        logical :: first_run
 +        type(app_state_t) :: state
++
 +        call app_state_load(state)
 +        first_run = .not. state%first_run_completed
 +    end function is_first_run
++
 +    subroutine mark_first_run_complete()
 +        type(app_state_t) :: state
++
 +        call app_state_load(state)
 +        state%first_run_completed = .true.
 +        call app_state_save(state)
 +    end subroutine mark_first_run_complete
++
 +    subroutine extract_json_string(line, key, value)
 +        character(len=*), intent(in) :: line, key
 +        character(len=*), intent(out) :: value
 +        integer :: key_pos, colon_pos, quote1, quote2
++
 +        value = ''
 +        key_pos = index(line, '"' // trim(key) // '"')
 +        if (key_pos == 0) return
++
 +        colon_pos = index(line(key_pos:), ':')
 +        if (colon_pos == 0) return
 +        colon_pos = key_pos + colon_pos
++
 +        quote1 = index(line(colon_pos:), '"')
 +        if (quote1 == 0) return
 +        quote1 = colon_pos + quote1
++
 +        quote2 = index(line(quote1:), '"')
 +        if (quote2 == 0) return
 +        quote2 = quote1 + quote2 - 2
++
 +        if (quote2 >= quote1) then
 +            value = line(quote1:quote2)
 +        end if
 +    end subroutine extract_json_string
++
 +end module app_state_module