akkartik/pensieve.love - Change D7D6T2F3FRMONF627F2NV227T5KTZ4FOHZKROEIIA236U7FVASTQC

beginnings of UI for searching all notes on disk

We have a framework for performing the search but don't actually do any searching yet.

Current plan: searching is expensive, so make searches persistent. Put each search's results in a file as we construct them. They don't reload until you repeat the search.

Created by Kartik K. Agaram on August 29, 2022

D7D6T2F3FRMONF627F2NV227T5KTZ4FOHZKROEIIA236U7FVASTQC

Dependencies

In channels

main

Change contents

Deletion in main.lua at line 76 [6.2]

B:BD[5.68] → [5.68:125]

      --   search (searching notes currently on surface)

Insertion in main.lua at line 77 [6.2]

[5.183]

[7.78]

      --   search (notes currently on surface)
      --   search_all (notes in directory)
      --   searching_all (search in progress)

Insertion in main.lua at line 379 [6.2]

[8.1309]

[9.70]

  elseif Display_settings.mode == 'search_all' then
    draw_normal_mode()
    -- only difference is in command palette below
  elseif Display_settings.mode == 'searching_all' then
    draw_normal_mode()
    -- only difference is in command palette below

Replacement in main.lua at line 401 [6.2]

∅:D[2.26] → [10.85:125]

∅:D[9.416] → [10.85:125]

B:BD[11.29] → [10.85:125]

  if Display_settings.show_palette then

[2.26]

[11.74]

  if Display_settings.mode == 'search_all' or Display_settings.mode == 'searching_all' then
    draw_command_palette_for_search_all()
  elseif Display_settings.show_palette then

Replacement in main.lua at line 634 [6.2]

B:BD[12.29] → [8.1454:1535]

  if Display_settings.mode == 'normal' or Display_settings.mode == 'search' then

[12.29]

[9.456]

  if Display_settings.mode == 'normal' or Display_settings.mode == 'search' or Display_settings.mode == 'search_all' or Display_settings.mode == 'searching_all' then

Insertion in main.lua at line 743 [6.2]

[3.114]

[9.792]

  elseif Display_settings.mode == 'search_all' then
    Display_settings.search_all_term = Display_settings.search_all_term..t
    Display_settings.search_all_text = nil
  elseif Display_settings.mode == 'searching_all' then
    Display_settings.mode = 'normal'
    Display_settings.search_all_text = nil

Insertion in main.lua at line 798 [6.2]

[8.2350]

[9.930]

  elseif Display_settings.mode == 'search_all' then
    keychord_pressed_in_search_all_mode(chord, key)
  elseif Display_settings.mode == 'searching_all' then
    Display_settings.mode = 'normal'

Insertion in main.lua at line 1249 [6.2]

[8.10720]

[13.42]

function keychord_pressed_in_search_all_mode(chord, key)
  if chord == 'escape' then
    Display_settings.mode = 'normal'
    -- don't forget search text
  elseif chord == 'return' then
    finalize_search_all_pane()
    add_search_all_pane_to_right_of_cursor()
    Display_settings.mode = 'searching_all'
  elseif chord == 'backspace' then
    local len = utf8.len(Display_settings.search_all_term)
    local byte_offset = Text.offset(Display_settings.search_all_term, len)
    Display_settings.search_all_term = string.sub(Display_settings.search_all_term, 1, byte_offset-1)
    Display_settings.search_all_text = nil
--?     print('backspace; search_all term is now', Display_settings.search_all_term)
  elseif chord == 'C-v' then
    Display_settings.search_all_term = Display_settings.search_all_term..App.getClipboardText()
    Display_settings.search_all_text = nil
--?     print('paste; search_all term is now', Display_settings.search_all_term)
  end
end

Insertion in commands.lua at line 41 [15.39]
[4.122]
[14.18]
```
    'search (all notes)',
```
Deletion in commands.lua at line 46 [15.39]
∅:D[16.36] → [17.720:746]
∅:D[18.71] → [17.720:746]
∅:D[19.92] → [17.720:746]
B:BD[17.720] → [17.720:746]
```
    'search (all notes)',
```
Deletion in commands.lua at line 74 [15.39]
∅:D[16.55] → [17.1151:1177]
∅:D[14.153] → [17.1151:1177]
B:BD[17.1151] → [17.1151:1177]
```
    'search (all notes)',
```
Deletion in commands.lua at line 93 [15.39]
∅:D[14.239] → [17.1571:1597]
B:BD[17.1571] → [17.1571:1597]
```
    'search (all notes)',
```

Insertion in commands.lua at line 252 [15.39]

[20.2517]

[21.3944]

  end
end
function draw_command_palette_for_search_all()
  -- background
  App.color(Command_palette_background_color)
  love.graphics.rectangle('fill', 0,0, App.screen.width, Menu_status_bar_height)
  App.color(Command_palette_border_color)
  love.graphics.rectangle('line', 0,0, App.screen.width, Menu_status_bar_height)
  -- input box
  App.color(Command_palette_command_color)
  if Display_settings.search_all_text == nil then
    Display_settings.search_all_text = App.newText(love.graphics.getFont(), Display_settings.search_all_term)
  end
  local x = 5
  local y = 5
  love.graphics.draw(Display_settings.search_all_text, x,y)
  if Display_settings.mode == 'search_all' then
    x = x+App.width(Display_settings.search_all_text)
    draw_cursor(x, y)
  end
  -- show progress
  if Display_settings.mode == 'searching_all' then
    App.color(Command_palette_alternatives_background_color)
    love.graphics.rectangle('fill', 0, Menu_status_bar_height, App.screen.width, 5+Line_height+5)
    App.color(Command_palette_border_color)
    love.graphics.rectangle('line', 0, Menu_status_bar_height, App.screen.width, 5+Line_height+5)
    App.screen.print(Display_settings.search_all_most_recent_file, --[[x]] 5, --[[y]] Menu_status_bar_height+5)

Insertion in commands.lua at line 450 [15.39]

[4.201]

[14.306]

  elseif cmd == 'search' then
    command.commence_search_in_disk()

Insertion in commands.lua at line 549 [15.39]

[22.747]

  elseif string.match(column.name, 'search: .+') then
    local search_term = string.match(column.name, 'search: (.+)')
    -- TODO

Insertion in commands.lua at line 734 [15.39]

[4.741]

end
function command.commence_search_in_disk()
  Display_settings.mode = 'search_all'
  Display_settings.search_all_pane = initialize_search_all_pane()
  Display_settings.search_all_term = ''
  Display_settings.search_all_text = nil
  Display_settings.search_all_most_recent_file = ''
end
-- search panes are opposites of regular panes
--   regular pane: pass in id, load from disk, may be edited
--   search pane: create without id, initialize id after search term is typed in, create empty file, slowly append to disk, may not be edited
function initialize_search_all_pane()
  local result = edit.initialize_state(0, 0, math.min(Display_settings.column_width, App.screen.width-Margin_right), Font_height, Line_height)
  result.font_height = Font_height
  result.line_height = Line_height
  result.em = Em
  result.editable = false
  return result
end
function finalize_search_all_pane()
  local id = Display_settings.search_all_term:gsub('%W', '_')
--?   print(id)
  initialize_cache_if_necessary(id)
  Display_settings.search_all_pane.id = id
  Display_settings.search_all_pane.filename = Directory..id
  Display_settings.editable = false

Insertion in commands.lua at line 765 [15.39]

[4.746]

[16.121]

function add_search_all_pane_to_right_of_cursor()
  local column = {name='search: '..Display_settings.search_all_term}
  table.insert(column, Display_settings.search_all_pane)
  add_column_to_right_of_cursor(column)
end