2021-11-03 22:38:50 +01:00
|
|
|
local Gio = require("lgi").Gio
|
|
|
|
local awful = require("awful")
|
|
|
|
local gobject = require("gears.object")
|
|
|
|
local gtable = require("gears.table")
|
|
|
|
local gtimer = require("gears.timer")
|
2021-11-08 21:42:38 +01:00
|
|
|
local gfilesystem = require("gears.filesystem")
|
2021-11-03 22:38:50 +01:00
|
|
|
local wibox = require("wibox")
|
|
|
|
local beautiful = require("beautiful")
|
2021-11-05 04:38:54 +01:00
|
|
|
local color = require(tostring(...):match(".*bling") .. ".helpers.color")
|
2021-11-08 21:42:38 +01:00
|
|
|
local prompt = require(... .. ".prompt")
|
2021-11-03 22:38:50 +01:00
|
|
|
local dpi = beautiful.xresources.apply_dpi
|
|
|
|
local string = string
|
|
|
|
local table = table
|
|
|
|
local math = math
|
2021-11-05 04:38:54 +01:00
|
|
|
local ipairs = ipairs
|
2021-11-03 22:38:50 +01:00
|
|
|
local pairs = pairs
|
2021-11-05 04:38:54 +01:00
|
|
|
local capi = { screen = screen, mouse = mouse }
|
|
|
|
local path = ...
|
2023-02-14 01:31:36 +01:00
|
|
|
local helpers = require(tostring(path):match(".*bling") .. ".helpers")
|
2021-11-03 22:38:50 +01:00
|
|
|
|
|
|
|
local app_launcher = { mt = {} }
|
|
|
|
|
2023-02-04 23:53:50 +01:00
|
|
|
local KILL_OLD_INOTIFY_SCRIPT = [[ ps x | grep "inotifywait -e modify /usr/share/applications" | grep -v grep | awk '{print $1}' | xargs kill ]]
|
|
|
|
local INOTIFY_SCRIPT = [[ bash -c "while (inotifywait -e modify /usr/share/applications -qq) do echo; done" ]]
|
2023-02-04 23:47:12 +01:00
|
|
|
local AWESOME_SENSIBLE_TERMINAL_PATH = debug.getinfo(1).source:match("@?(.*/)") ..
|
|
|
|
"awesome-sensible-terminal"
|
2021-11-05 04:38:54 +01:00
|
|
|
|
2023-02-19 16:45:24 +01:00
|
|
|
local function default_value(value, default)
|
|
|
|
if value == nil then
|
|
|
|
return default
|
|
|
|
else
|
|
|
|
return value
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2021-11-05 04:38:54 +01:00
|
|
|
local function string_levenshtein(str1, str2)
|
|
|
|
local len1 = string.len(str1)
|
|
|
|
local len2 = string.len(str2)
|
|
|
|
local matrix = {}
|
|
|
|
local cost = 0
|
|
|
|
|
|
|
|
-- quick cut-offs to save time
|
|
|
|
if (len1 == 0) then
|
|
|
|
return len2
|
|
|
|
elseif (len2 == 0) then
|
|
|
|
return len1
|
|
|
|
elseif (str1 == str2) then
|
|
|
|
return 0
|
|
|
|
end
|
|
|
|
|
|
|
|
-- initialise the base matrix values
|
|
|
|
for i = 0, len1, 1 do
|
|
|
|
matrix[i] = {}
|
|
|
|
matrix[i][0] = i
|
|
|
|
end
|
|
|
|
for j = 0, len2, 1 do
|
|
|
|
matrix[0][j] = j
|
|
|
|
end
|
|
|
|
|
|
|
|
-- actual Levenshtein algorithm
|
|
|
|
for i = 1, len1, 1 do
|
|
|
|
for j = 1, len2, 1 do
|
|
|
|
if (str1:byte(i) == str2:byte(j)) then
|
|
|
|
cost = 0
|
|
|
|
else
|
|
|
|
cost = 1
|
|
|
|
end
|
|
|
|
|
|
|
|
matrix[i][j] = math.min(matrix[i-1][j] + 1, matrix[i][j-1] + 1, matrix[i-1][j-1] + cost)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- return the last value - this is the Levenshtein distance
|
|
|
|
return matrix[len1][len2]
|
|
|
|
end
|
|
|
|
|
|
|
|
local function case_insensitive_pattern(pattern)
|
|
|
|
-- find an optional '%' (group 1) followed by any character (group 2)
|
|
|
|
local p = pattern:gsub("(%%?)(.)", function(percent, letter)
|
|
|
|
if percent ~= "" or not letter:match("%a") then
|
|
|
|
-- if the '%' matched, or `letter` is not a letter, return "as is"
|
|
|
|
return percent .. letter
|
|
|
|
else
|
|
|
|
-- else, return a case-insensitive character class of the matched letter
|
|
|
|
return string.format("[%s%s]", letter:lower(), letter:upper())
|
|
|
|
end
|
|
|
|
end)
|
|
|
|
|
|
|
|
return p
|
|
|
|
end
|
|
|
|
|
2021-11-08 21:42:38 +01:00
|
|
|
local function has_value(tab, val)
|
|
|
|
for index, value in pairs(tab) do
|
|
|
|
if val:find(case_insensitive_pattern(value)) then
|
|
|
|
return true
|
|
|
|
end
|
|
|
|
end
|
|
|
|
return false
|
|
|
|
end
|
|
|
|
|
2023-02-12 17:14:35 +01:00
|
|
|
local function app_widget(self, app)
|
|
|
|
local widget = nil
|
2021-11-08 21:42:38 +01:00
|
|
|
|
2023-02-05 01:17:46 +01:00
|
|
|
if self.app_template == nil then
|
2023-02-19 16:33:53 +01:00
|
|
|
local icon = wibox.widget
|
2023-02-05 01:17:46 +01:00
|
|
|
{
|
|
|
|
widget = wibox.widget.imagebox,
|
|
|
|
id = "icon_role",
|
2023-02-19 16:33:53 +01:00
|
|
|
forced_width = dpi(70),
|
|
|
|
forced_height = dpi(70),
|
2023-02-05 01:17:46 +01:00
|
|
|
image = app.icon
|
2023-02-19 16:33:53 +01:00
|
|
|
}
|
2023-02-05 01:17:46 +01:00
|
|
|
|
2023-02-19 16:33:53 +01:00
|
|
|
local name = wibox.widget
|
2023-02-05 01:17:46 +01:00
|
|
|
{
|
|
|
|
widget = wibox.widget.textbox,
|
|
|
|
id = "name_role",
|
|
|
|
font = self.app_name_font,
|
|
|
|
markup = string.format("<span foreground='%s'>%s</span>", self.app_name_normal_color, app.name)
|
2023-02-19 16:33:53 +01:00
|
|
|
}
|
2021-11-03 22:38:50 +01:00
|
|
|
|
2023-02-12 17:14:35 +01:00
|
|
|
widget = wibox.widget
|
2021-11-03 22:38:50 +01:00
|
|
|
{
|
2023-02-05 01:17:46 +01:00
|
|
|
widget = wibox.container.background,
|
|
|
|
id = "background_role",
|
2023-02-19 16:33:53 +01:00
|
|
|
forced_width = dpi(300),
|
|
|
|
forced_height = dpi(120),
|
2023-02-05 01:17:46 +01:00
|
|
|
bg = self.app_normal_color,
|
2021-11-03 22:38:50 +01:00
|
|
|
{
|
2023-02-05 01:17:46 +01:00
|
|
|
widget = wibox.container.margin,
|
2023-02-19 16:33:53 +01:00
|
|
|
margins = dpi(10),
|
2021-11-08 21:42:38 +01:00
|
|
|
{
|
2023-02-05 01:17:46 +01:00
|
|
|
-- Using this hack instead of container.place because that will fuck with the name/icon halign
|
|
|
|
layout = wibox.layout.align.vertical,
|
|
|
|
expand = "outside",
|
|
|
|
nil,
|
2021-11-08 21:42:38 +01:00
|
|
|
{
|
2023-02-05 01:17:46 +01:00
|
|
|
layout = wibox.layout.fixed.vertical,
|
2023-02-19 16:33:53 +01:00
|
|
|
spacing = dpi(10),
|
2023-02-05 01:17:46 +01:00
|
|
|
icon,
|
2023-02-19 16:33:53 +01:00
|
|
|
name
|
2023-02-05 01:17:46 +01:00
|
|
|
},
|
|
|
|
nil
|
|
|
|
}
|
2021-11-03 22:38:50 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-02-12 17:14:35 +01:00
|
|
|
widget:connect_signal("mouse::enter", function()
|
2023-02-05 01:17:46 +01:00
|
|
|
local widget = capi.mouse.current_wibox
|
|
|
|
if widget then
|
|
|
|
widget.cursor = "hand2"
|
|
|
|
end
|
2021-11-05 04:38:54 +01:00
|
|
|
|
2023-02-12 17:14:35 +01:00
|
|
|
if widget.selected then
|
|
|
|
widget:get_children_by_id("background_role")[1].bg = self.app_selected_hover_color
|
2023-02-05 01:17:46 +01:00
|
|
|
else
|
2023-02-12 17:14:35 +01:00
|
|
|
widget:get_children_by_id("background_role")[1].bg = self.app_normal_hover_color
|
2023-02-05 01:17:46 +01:00
|
|
|
end
|
|
|
|
end)
|
2021-11-03 22:38:50 +01:00
|
|
|
|
2023-02-12 17:14:35 +01:00
|
|
|
widget:connect_signal("mouse::leave", function()
|
2023-02-05 01:17:46 +01:00
|
|
|
local widget = capi.mouse.current_wibox
|
|
|
|
if widget then
|
|
|
|
widget.cursor = "left_ptr"
|
|
|
|
end
|
2021-11-05 04:38:54 +01:00
|
|
|
|
2023-02-12 17:14:35 +01:00
|
|
|
if widget.selected then
|
|
|
|
widget:get_children_by_id("background_role")[1].bg = self.app_selected_color
|
2023-02-05 01:17:46 +01:00
|
|
|
else
|
2023-02-12 17:14:35 +01:00
|
|
|
widget:get_children_by_id("background_role")[1].bg = self.app_normal_color
|
2023-02-05 01:17:46 +01:00
|
|
|
end
|
|
|
|
end)
|
|
|
|
else
|
2023-02-12 17:14:35 +01:00
|
|
|
widget = self.app_template(app)
|
2021-11-03 22:38:50 +01:00
|
|
|
|
2023-02-12 17:14:35 +01:00
|
|
|
local icon = widget:get_children_by_id("icon_role")[1]
|
2023-02-05 01:17:46 +01:00
|
|
|
if icon then
|
|
|
|
icon.image = app.icon
|
2021-11-05 04:38:54 +01:00
|
|
|
end
|
2023-02-12 17:14:35 +01:00
|
|
|
local name = widget:get_children_by_id("name_role")[1]
|
2023-02-05 01:17:46 +01:00
|
|
|
if name then
|
|
|
|
name.text = app.name
|
2021-11-05 04:38:54 +01:00
|
|
|
end
|
2023-02-12 17:14:35 +01:00
|
|
|
local generic_name = widget:get_children_by_id("generic_name_role")[1]
|
2023-02-05 01:17:46 +01:00
|
|
|
if generic_name then
|
|
|
|
generic_name.text = app.generic_name
|
|
|
|
end
|
2023-02-12 17:14:35 +01:00
|
|
|
local command = widget:get_children_by_id("command_role")[1]
|
2023-02-05 01:17:46 +01:00
|
|
|
if command then
|
|
|
|
command.text = app.executable
|
|
|
|
end
|
|
|
|
end
|
2021-11-05 04:38:54 +01:00
|
|
|
|
2023-02-12 17:14:35 +01:00
|
|
|
widget:connect_signal("button::press", function(app, _, __, button)
|
2021-11-05 04:38:54 +01:00
|
|
|
if button == 1 then
|
|
|
|
if self._private.active_widget == app or not self.select_before_spawn then
|
2023-02-05 00:28:51 +01:00
|
|
|
app:spawn()
|
2021-11-05 04:38:54 +01:00
|
|
|
else
|
2023-02-05 14:33:13 +01:00
|
|
|
app:select()
|
2021-11-05 04:38:54 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end)
|
|
|
|
|
2023-02-07 13:42:17 +01:00
|
|
|
local _self = self
|
2023-02-12 17:14:35 +01:00
|
|
|
function widget:spawn()
|
2023-02-05 01:17:46 +01:00
|
|
|
if app.terminal == true then
|
|
|
|
awful.spawn.with_shell(AWESOME_SENSIBLE_TERMINAL_PATH .. " -e " .. app.executable)
|
|
|
|
else
|
|
|
|
awful.spawn(app.executable)
|
|
|
|
end
|
|
|
|
|
2023-02-07 13:42:17 +01:00
|
|
|
if _self.hide_on_launch then
|
|
|
|
_self:hide()
|
2023-02-05 01:17:46 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2023-02-12 17:14:35 +01:00
|
|
|
function widget:select()
|
2023-02-05 14:33:13 +01:00
|
|
|
if _self._private.active_widget then
|
|
|
|
_self._private.active_widget:unselect()
|
|
|
|
end
|
|
|
|
_self._private.active_widget = self
|
|
|
|
self:emit_signal("selected")
|
|
|
|
self.selected = true
|
|
|
|
|
|
|
|
if _self.app_template == nil then
|
|
|
|
self:get_children_by_id("background_role")[1].bg = _self.app_selected_color
|
|
|
|
local name_widget = self:get_children_by_id("name_role")[1]
|
|
|
|
if name_widget then
|
|
|
|
name_widget.markup = string.format("<span foreground='%s'>%s</span>", _self.app_name_selected_color, name_widget.text)
|
|
|
|
end
|
|
|
|
local generic_name_widget = self:get_children_by_id("generic_name_role")[1]
|
|
|
|
if generic_name_widget then
|
|
|
|
generic_name_widget.markup = string.format("<i><span weight='300'foreground='%s'>%s</span></i>", _self.app_name_selected_color, generic_name_widget.text)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2023-02-12 17:14:35 +01:00
|
|
|
function widget:unselect()
|
2023-02-05 14:33:13 +01:00
|
|
|
self:emit_signal("unselected")
|
|
|
|
self.selected = false
|
|
|
|
_self._private.active_widget = nil
|
|
|
|
|
|
|
|
if _self.app_template == nil then
|
|
|
|
self:get_children_by_id("background_role")[1].bg = _self.app_normal_color
|
|
|
|
local name_widget = self:get_children_by_id("name_role")[1]
|
|
|
|
if name_widget then
|
|
|
|
name_widget.markup = string.format("<span foreground='%s'>%s</span>", _self.app_name_normal_color, name_widget.text)
|
|
|
|
end
|
|
|
|
local generic_name_widget = self:get_children_by_id("generic_name_role")[1]
|
|
|
|
if generic_name_widget then
|
|
|
|
generic_name_widget.markup = string.format("<i><span weight='300'foreground='%s'>%s</span></i>", _self.app_name_normal_color, generic_name_widget.text)
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2023-02-12 17:14:35 +01:00
|
|
|
return widget
|
2021-11-03 22:38:50 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
local function search(self, text)
|
2023-02-05 14:33:13 +01:00
|
|
|
local old_pos = self._private.grid:get_widget_position(self._private.active_widget)
|
2021-11-05 04:38:54 +01:00
|
|
|
|
2021-11-03 22:38:50 +01:00
|
|
|
-- Reset all the matched entries
|
|
|
|
self._private.matched_entries = {}
|
|
|
|
-- Remove all the grid widgets
|
|
|
|
self._private.grid:reset()
|
|
|
|
|
2021-11-05 04:38:54 +01:00
|
|
|
if text == "" then
|
|
|
|
self._private.matched_entries = self._private.all_entries
|
|
|
|
else
|
2023-02-04 23:20:42 +01:00
|
|
|
for _, entry in pairs(self._private.all_entries) do
|
2021-11-05 04:38:54 +01:00
|
|
|
text = text:gsub( "%W", "" )
|
|
|
|
|
|
|
|
-- Check if there's a match by the app name or app command
|
2022-01-19 08:12:43 +01:00
|
|
|
if string.find(entry.name:lower(), text:lower(), 1, true) ~= nil or
|
|
|
|
self.search_commands and string.find(entry.commandline, text:lower(), 1, true) ~= nil
|
2021-11-05 04:38:54 +01:00
|
|
|
then
|
2021-11-08 21:42:38 +01:00
|
|
|
table.insert(self._private.matched_entries, {
|
|
|
|
name = entry.name,
|
|
|
|
generic_name = entry.generic_name,
|
|
|
|
commandline = entry.commandline,
|
|
|
|
executable = entry.executable,
|
|
|
|
terminal = entry.terminal,
|
|
|
|
icon = entry.icon
|
|
|
|
})
|
2021-11-03 22:38:50 +01:00
|
|
|
end
|
|
|
|
end
|
2021-11-05 04:38:54 +01:00
|
|
|
|
|
|
|
-- Sort by string similarity
|
|
|
|
table.sort(self._private.matched_entries, function(a, b)
|
|
|
|
return string_levenshtein(text, a.name) < string_levenshtein(text, b.name)
|
|
|
|
end)
|
|
|
|
end
|
2023-02-04 23:20:42 +01:00
|
|
|
for _, entry in pairs(self._private.matched_entries) do
|
2021-11-05 04:38:54 +01:00
|
|
|
-- Only add the widgets for apps that are part of the first page
|
|
|
|
if #self._private.grid.children + 1 <= self._private.max_apps_per_page then
|
2023-02-12 17:14:35 +01:00
|
|
|
self._private.grid:add(app_widget(self, entry))
|
2021-11-05 04:38:54 +01:00
|
|
|
end
|
2021-11-03 22:38:50 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
-- Recalculate the apps per page based on the current matched entries
|
|
|
|
self._private.apps_per_page = math.min(#self._private.matched_entries, self._private.max_apps_per_page)
|
|
|
|
|
|
|
|
-- Recalculate the pages count based on the current apps per page
|
|
|
|
self._private.pages_count = math.ceil(math.max(1, #self._private.matched_entries) / math.max(1, self._private.apps_per_page))
|
|
|
|
|
2021-11-05 04:38:54 +01:00
|
|
|
-- Page should be 1 after a search
|
|
|
|
self._private.current_page = 1
|
|
|
|
|
2021-11-03 22:38:50 +01:00
|
|
|
-- This is an option to mimic rofi behaviour where after a search
|
|
|
|
-- it will reselect the app whose index is the same as the app index that was previously selected
|
|
|
|
-- and if matched_entries.length < current_index it will instead select the app with the greatest index
|
|
|
|
if self.try_to_keep_index_after_searching then
|
2023-02-05 14:33:13 +01:00
|
|
|
if self._private.grid:get_widgets_at(old_pos.row, old_pos.col) == nil then
|
2021-11-05 04:38:54 +01:00
|
|
|
local app = self._private.grid.children[#self._private.grid.children]
|
2023-02-05 14:33:13 +01:00
|
|
|
app:select()
|
|
|
|
else
|
|
|
|
local app = self._private.grid:get_widgets_at(old_pos.row, old_pos.col)[1]
|
|
|
|
app:select()
|
2021-11-05 04:38:54 +01:00
|
|
|
end
|
2021-11-03 22:38:50 +01:00
|
|
|
-- Otherwise select the first app on the list
|
2023-02-05 15:47:09 +01:00
|
|
|
elseif #self._private.grid.children > 0 then
|
2023-02-05 14:33:13 +01:00
|
|
|
local app = self._private.grid:get_widgets_at(1, 1)[1]
|
|
|
|
app:select()
|
2021-11-03 22:38:50 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2023-02-05 14:45:31 +01:00
|
|
|
local function page_forward(self, dir)
|
2023-02-04 23:44:24 +01:00
|
|
|
local min_app_index_to_include = 0
|
|
|
|
local max_app_index_to_include = self._private.apps_per_page
|
|
|
|
|
|
|
|
if self._private.current_page < self._private.pages_count then
|
|
|
|
min_app_index_to_include = self._private.apps_per_page * self._private.current_page
|
|
|
|
self._private.current_page = self._private.current_page + 1
|
|
|
|
max_app_index_to_include = self._private.apps_per_page * self._private.current_page
|
2021-11-08 21:42:38 +01:00
|
|
|
elseif self.wrap_page_scrolling and #self._private.matched_entries >= self._private.max_apps_per_page then
|
2023-02-04 23:44:24 +01:00
|
|
|
self._private.current_page = 1
|
|
|
|
min_app_index_to_include = 0
|
|
|
|
max_app_index_to_include = self._private.apps_per_page
|
2021-11-08 21:42:38 +01:00
|
|
|
elseif self.wrap_app_scrolling then
|
2023-02-05 14:33:13 +01:00
|
|
|
local app = self._private.grid:get_widgets_at(1, 1)[1]
|
|
|
|
app:select()
|
2021-11-08 21:42:38 +01:00
|
|
|
return
|
|
|
|
else
|
|
|
|
return
|
|
|
|
end
|
|
|
|
|
|
|
|
local pos = self._private.grid:get_widget_position(self._private.active_widget)
|
|
|
|
|
|
|
|
-- Remove the current page apps from the grid
|
|
|
|
self._private.grid:reset()
|
|
|
|
|
|
|
|
for index, entry in pairs(self._private.matched_entries) do
|
|
|
|
-- Only add widgets that are between this range (part of the current page)
|
|
|
|
if index > min_app_index_to_include and index <= max_app_index_to_include then
|
2023-02-12 17:14:35 +01:00
|
|
|
self._private.grid:add(app_widget(self, entry))
|
2021-11-08 21:42:38 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2023-02-04 23:44:24 +01:00
|
|
|
if self._private.current_page > 1 or self.wrap_page_scrolling then
|
2023-02-05 14:45:31 +01:00
|
|
|
if dir == "down" then
|
2023-02-05 14:33:13 +01:00
|
|
|
local app = self._private.grid:get_widgets_at(1, 1)[1]
|
|
|
|
app:select()
|
2021-11-08 21:42:38 +01:00
|
|
|
else
|
2023-02-05 14:33:13 +01:00
|
|
|
local app = self._private.grid:get_widgets_at(pos.row, 1)[1]
|
|
|
|
if app == nil then
|
|
|
|
local app = self._private.grid.children[#self._private.grid.children]
|
|
|
|
app:select()
|
2023-02-05 14:03:02 +01:00
|
|
|
else
|
2023-02-05 14:33:13 +01:00
|
|
|
app:select()
|
2023-02-05 14:03:02 +01:00
|
|
|
end
|
2021-11-08 21:42:38 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2023-02-05 14:45:31 +01:00
|
|
|
local function page_backward(self, dir)
|
2023-02-04 23:44:24 +01:00
|
|
|
if self._private.current_page > 1 then
|
|
|
|
self._private.current_page = self._private.current_page - 1
|
2021-11-08 21:42:38 +01:00
|
|
|
elseif self.wrap_page_scrolling and #self._private.matched_entries >= self._private.max_apps_per_page then
|
2023-02-04 23:44:24 +01:00
|
|
|
self._private.current_page = self._private.pages_count
|
2021-11-08 21:42:38 +01:00
|
|
|
elseif self.wrap_app_scrolling then
|
2023-02-05 14:58:18 +01:00
|
|
|
local app = self._private.grid.children[#self._private.grid.children]
|
2023-02-05 14:33:13 +01:00
|
|
|
app:select()
|
2021-11-08 21:42:38 +01:00
|
|
|
return
|
|
|
|
else
|
|
|
|
return
|
|
|
|
end
|
|
|
|
|
|
|
|
local pos = self._private.grid:get_widget_position(self._private.active_widget)
|
|
|
|
|
|
|
|
-- Remove the current page apps from the grid
|
|
|
|
self._private.grid:reset()
|
|
|
|
|
2023-02-04 23:44:24 +01:00
|
|
|
local max_app_index_to_include = self._private.apps_per_page * self._private.current_page
|
|
|
|
local min_app_index_to_include = max_app_index_to_include - self._private.apps_per_page
|
|
|
|
|
2021-11-08 21:42:38 +01:00
|
|
|
for index, entry in pairs(self._private.matched_entries) do
|
|
|
|
-- Only add widgets that are between this range (part of the current page)
|
|
|
|
if index > min_app_index_to_include and index <= max_app_index_to_include then
|
2023-02-12 17:14:35 +01:00
|
|
|
self._private.grid:add(app_widget(self, entry))
|
2021-11-08 21:42:38 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2023-02-04 23:44:24 +01:00
|
|
|
local rows, columns = self._private.grid:get_dimension()
|
|
|
|
if self._private.current_page < self._private.pages_count then
|
2023-02-05 14:45:31 +01:00
|
|
|
if dir == "up" then
|
2023-02-05 14:58:18 +01:00
|
|
|
local app = self._private.grid.children[#self._private.grid.children]
|
2023-02-05 14:33:13 +01:00
|
|
|
app:select()
|
2021-11-08 21:42:38 +01:00
|
|
|
else
|
2023-02-04 23:44:24 +01:00
|
|
|
-- Keep the same row from last page
|
2023-02-05 14:33:13 +01:00
|
|
|
local app = self._private.grid:get_widgets_at(pos.row, columns)[1]
|
|
|
|
app:select()
|
2023-02-04 23:44:24 +01:00
|
|
|
end
|
|
|
|
elseif self.wrap_page_scrolling then
|
2023-02-05 14:33:13 +01:00
|
|
|
local app = self._private.grid.children[#self._private.grid.children]
|
|
|
|
app:select()
|
2021-11-08 21:42:38 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2023-02-05 14:45:13 +01:00
|
|
|
local function scroll(self, dir)
|
|
|
|
if #self._private.grid.children < 1 then
|
|
|
|
self._private.active_widget = nil
|
|
|
|
return
|
|
|
|
end
|
|
|
|
|
|
|
|
local pos = self._private.grid:get_widget_position(self._private.active_widget)
|
|
|
|
local can_scroll = false
|
|
|
|
local step_size = 0
|
|
|
|
local if_cant_scroll_func = nil
|
|
|
|
|
|
|
|
if dir == "up" then
|
|
|
|
can_scroll = self._private.grid:index(self._private.active_widget) > 1
|
|
|
|
step_size = -1
|
|
|
|
if_cant_scroll_func = function() page_backward(self, "up") end
|
|
|
|
elseif dir == "down" then
|
|
|
|
can_scroll = self._private.grid:index(self._private.active_widget) < #self._private.grid.children
|
|
|
|
step_size = 1
|
|
|
|
if_cant_scroll_func = function() page_forward(self, "down") end
|
|
|
|
elseif dir == "left" then
|
|
|
|
can_scroll = self._private.grid:get_widgets_at(pos.row, pos.col - 1) ~= nil
|
|
|
|
step_size = -self.apps_per_row
|
|
|
|
if_cant_scroll_func = function() page_backward(self, "left") end
|
|
|
|
elseif dir == "right" then
|
|
|
|
can_scroll = self._private.grid:get_widgets_at(pos.row, pos.col + 1) ~= nil
|
|
|
|
step_size = self.apps_per_row
|
|
|
|
if_cant_scroll_func = function() page_forward(self, "right") end
|
|
|
|
end
|
|
|
|
|
|
|
|
if can_scroll then
|
|
|
|
local app = gtable.cycle_value(self._private.grid.children, self._private.active_widget, step_size)
|
|
|
|
app:select()
|
|
|
|
else
|
|
|
|
if_cant_scroll_func()
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2021-11-08 21:42:38 +01:00
|
|
|
local function reset(self)
|
2021-11-05 04:38:54 +01:00
|
|
|
self._private.grid:reset()
|
|
|
|
self._private.matched_entries = self._private.all_entries
|
|
|
|
self._private.apps_per_page = self._private.max_apps_per_page
|
|
|
|
self._private.pages_count = math.ceil(#self._private.all_entries / self._private.apps_per_page)
|
|
|
|
self._private.current_page = 1
|
2021-11-03 22:38:50 +01:00
|
|
|
|
2021-11-05 04:38:54 +01:00
|
|
|
for index, entry in pairs(self._private.all_entries) do
|
|
|
|
-- Only add the apps that are part of the first page
|
|
|
|
if index <= self._private.apps_per_page then
|
2023-02-12 17:14:35 +01:00
|
|
|
self._private.grid:add(app_widget(self, entry))
|
2021-11-05 04:38:54 +01:00
|
|
|
else
|
|
|
|
break
|
|
|
|
end
|
2021-11-03 22:38:50 +01:00
|
|
|
end
|
|
|
|
|
2023-02-05 14:33:13 +01:00
|
|
|
local app = self._private.grid:get_widgets_at(1, 1)[1]
|
|
|
|
app:select()
|
2021-11-05 04:38:54 +01:00
|
|
|
end
|
|
|
|
|
2021-11-08 21:42:38 +01:00
|
|
|
local function generate_apps(self)
|
|
|
|
self._private.all_entries = {}
|
|
|
|
self._private.matched_entries = {}
|
|
|
|
|
|
|
|
local app_info = Gio.AppInfo
|
|
|
|
local apps = app_info.get_all()
|
|
|
|
if self.sort_alphabetically then
|
|
|
|
table.sort(apps, function(a, b)
|
|
|
|
local app_a_score = app_info.get_name(a):lower()
|
2023-02-14 02:14:50 +01:00
|
|
|
if has_value(self.favorites, app_info.get_id(a)) then
|
2021-11-08 21:42:38 +01:00
|
|
|
app_a_score = "aaaaaaaaaaa" .. app_a_score
|
|
|
|
end
|
|
|
|
local app_b_score = app_info.get_name(b):lower()
|
2023-02-14 02:14:50 +01:00
|
|
|
if has_value(self.favorites, app_info.get_id(b)) then
|
2021-11-08 21:42:38 +01:00
|
|
|
app_b_score = "aaaaaaaaaaa" .. app_b_score
|
|
|
|
end
|
|
|
|
|
|
|
|
return app_a_score < app_b_score
|
|
|
|
end)
|
|
|
|
elseif self.reverse_sort_alphabetically then
|
|
|
|
table.sort(apps, function(a, b)
|
|
|
|
local app_a_score = app_info.get_name(a):lower()
|
2023-02-14 02:14:50 +01:00
|
|
|
if has_value(self.favorites, app_info.get_id(a)) then
|
2021-11-08 21:42:38 +01:00
|
|
|
app_a_score = "zzzzzzzzzzz" .. app_a_score
|
|
|
|
end
|
|
|
|
local app_b_score = app_info.get_name(b):lower()
|
2023-02-14 02:14:50 +01:00
|
|
|
if has_value(self.favorites, app_info.get_id(b)) then
|
2021-11-08 21:42:38 +01:00
|
|
|
app_b_score = "zzzzzzzzzzz" .. app_b_score
|
|
|
|
end
|
|
|
|
|
|
|
|
return app_a_score > app_b_score
|
|
|
|
end)
|
|
|
|
else
|
|
|
|
table.sort(apps, function(a, b)
|
2023-02-14 02:14:50 +01:00
|
|
|
local app_a_favorite = has_value(self.favorites, app_info.get_id(a))
|
|
|
|
local app_b_favorite = has_value(self.favorites, app_info.get_id(b))
|
2021-11-08 21:42:38 +01:00
|
|
|
|
|
|
|
if app_a_favorite and not app_b_favorite then
|
|
|
|
return true
|
|
|
|
elseif app_b_favorite and not app_a_favorite then
|
|
|
|
return false
|
|
|
|
elseif app_a_favorite and app_b_favorite then
|
|
|
|
return app_info.get_name(a):lower() < app_info.get_name(b):lower()
|
|
|
|
else
|
|
|
|
return false
|
|
|
|
end
|
|
|
|
end)
|
|
|
|
end
|
|
|
|
|
|
|
|
for _, app in ipairs(apps) do
|
|
|
|
if app.should_show(app) then
|
|
|
|
local name = app_info.get_name(app)
|
|
|
|
local commandline = app_info.get_commandline(app)
|
|
|
|
local executable = app_info.get_executable(app)
|
2023-02-14 01:26:18 +01:00
|
|
|
local icon = helpers.icon_theme.get_gicon_path(app_info.get_icon(app), self.icon_theme, self.icon_size)
|
2021-11-08 21:42:38 +01:00
|
|
|
|
|
|
|
-- Check if this app should be skipped, depanding on the skip_names / skip_commands table
|
|
|
|
if not has_value(self.skip_names, name) and not has_value(self.skip_commands, commandline) then
|
|
|
|
-- Check if this app should be skipped becuase it's iconless depanding on skip_empty_icons
|
|
|
|
if icon ~= "" or self.skip_empty_icons == false then
|
|
|
|
if icon == "" then
|
|
|
|
if self.default_app_icon_name ~= nil then
|
2023-02-14 01:26:18 +01:00
|
|
|
icon = helpers.icon_theme.get_icon_path(self.default_app_icon_name, self.icon_theme, self.icon_size)
|
2021-11-08 21:42:38 +01:00
|
|
|
elseif self.default_app_icon_path ~= nil then
|
|
|
|
icon = self.default_app_icon_path
|
|
|
|
else
|
2023-02-14 01:26:18 +01:00
|
|
|
icon = helpers.icon_theme.choose_icon(
|
|
|
|
{"application-all", "application", "application-default-icon", "app"},
|
|
|
|
self.icon_theme, self.icon_size)
|
2021-11-08 21:42:38 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
local desktop_app_info = Gio.DesktopAppInfo.new(app_info.get_id(app))
|
|
|
|
local terminal = Gio.DesktopAppInfo.get_string(desktop_app_info, "Terminal") == "true" and true or false
|
|
|
|
local generic_name = Gio.DesktopAppInfo.get_string(desktop_app_info, "GenericName") or nil
|
|
|
|
|
|
|
|
table.insert(self._private.all_entries, {
|
|
|
|
name = name,
|
|
|
|
generic_name = generic_name,
|
|
|
|
commandline = commandline,
|
|
|
|
executable = executable,
|
|
|
|
terminal = terminal,
|
|
|
|
icon = icon
|
|
|
|
})
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
2023-02-12 17:16:43 +01:00
|
|
|
-- Sets favorites
|
|
|
|
function app_launcher:set_favorites(favorites)
|
|
|
|
self.favorites = favorites
|
|
|
|
generate_apps(self)
|
|
|
|
end
|
|
|
|
|
2023-02-05 14:41:51 +01:00
|
|
|
--- Scrolls up
|
|
|
|
function app_launcher:scroll_up()
|
|
|
|
scroll(self, "up")
|
|
|
|
end
|
|
|
|
|
|
|
|
--- Scrolls down
|
|
|
|
function app_launcher:scroll_down()
|
|
|
|
scroll(self, "down")
|
|
|
|
end
|
|
|
|
|
|
|
|
--- Scrolls to the left
|
|
|
|
function app_launcher:scroll_left()
|
|
|
|
scroll(self, "left")
|
|
|
|
end
|
|
|
|
|
|
|
|
--- Scrolls to the right
|
|
|
|
function app_launcher:scroll_right()
|
|
|
|
scroll(self, "right")
|
|
|
|
end
|
|
|
|
|
2021-11-05 04:38:54 +01:00
|
|
|
--- Shows the app launcher
|
|
|
|
function app_launcher:show()
|
|
|
|
local screen = self.screen
|
|
|
|
if self.show_on_focused_screen then
|
|
|
|
screen = awful.screen.focused()
|
2021-11-03 22:38:50 +01:00
|
|
|
end
|
|
|
|
|
2021-11-05 04:38:54 +01:00
|
|
|
screen.app_launcher = self._private.widget
|
|
|
|
screen.app_launcher.screen = screen
|
2021-11-08 21:42:38 +01:00
|
|
|
self._private.prompt:start()
|
|
|
|
|
|
|
|
local animation = self.rubato
|
|
|
|
if animation ~= nil then
|
|
|
|
if self._private.widget.goal_x == nil then
|
|
|
|
self._private.widget.goal_x = self._private.widget.x
|
|
|
|
end
|
|
|
|
if self._private.widget.goal_y == nil then
|
|
|
|
self._private.widget.goal_y = self._private.widget.y
|
|
|
|
self._private.widget.placement = nil
|
|
|
|
end
|
|
|
|
|
|
|
|
if animation.x then
|
|
|
|
animation.x.ended:unsubscribe()
|
|
|
|
animation.x:set(self._private.widget.goal_x)
|
2023-02-19 01:25:43 +01:00
|
|
|
gtimer.start_new(0.01, function()
|
|
|
|
screen.app_launcher.visible = true
|
|
|
|
return false
|
|
|
|
end)
|
2021-11-08 21:42:38 +01:00
|
|
|
end
|
|
|
|
if animation.y then
|
|
|
|
animation.y.ended:unsubscribe()
|
|
|
|
animation.y:set(self._private.widget.goal_y)
|
2023-02-19 01:25:43 +01:00
|
|
|
gtimer.start_new(0.01, function()
|
|
|
|
screen.app_launcher.visible = true
|
|
|
|
return false
|
|
|
|
end)
|
2021-11-05 04:38:54 +01:00
|
|
|
end
|
2021-11-08 21:42:38 +01:00
|
|
|
else
|
|
|
|
screen.app_launcher.visible = true
|
2021-11-03 22:38:50 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
self:emit_signal("bling::app_launcher::visibility", true)
|
|
|
|
end
|
|
|
|
|
|
|
|
--- Hides the app launcher
|
2021-11-05 04:38:54 +01:00
|
|
|
function app_launcher:hide()
|
|
|
|
local screen = self.screen
|
|
|
|
if self.show_on_focused_screen then
|
|
|
|
screen = awful.screen.focused()
|
2021-11-03 22:38:50 +01:00
|
|
|
end
|
|
|
|
|
2021-11-05 04:38:54 +01:00
|
|
|
if screen.app_launcher == nil or screen.app_launcher.visible == false then
|
|
|
|
return
|
2021-11-03 22:38:50 +01:00
|
|
|
end
|
|
|
|
|
2021-11-08 21:42:38 +01:00
|
|
|
self._private.prompt:stop()
|
2021-11-03 22:38:50 +01:00
|
|
|
|
2021-11-05 04:38:54 +01:00
|
|
|
local animation = self.rubato
|
|
|
|
if animation ~= nil then
|
|
|
|
if animation.x then
|
|
|
|
animation.x:set(animation.x:initial())
|
|
|
|
end
|
|
|
|
if animation.y then
|
|
|
|
animation.y:set(animation.y:initial())
|
|
|
|
end
|
2021-11-03 22:38:50 +01:00
|
|
|
|
2021-11-05 04:38:54 +01:00
|
|
|
local anim_x_duration = (animation.x and animation.x.duration) or 0
|
|
|
|
local anim_y_duration = (animation.y and animation.y.duration) or 0
|
|
|
|
local turn_off_on_anim_x_end = (anim_x_duration >= anim_y_duration) and true or false
|
|
|
|
|
|
|
|
if turn_off_on_anim_x_end then
|
|
|
|
animation.x.ended:subscribe(function()
|
2021-11-08 21:42:38 +01:00
|
|
|
if self.reset_on_hide == true then reset(self) end
|
2021-11-05 04:38:54 +01:00
|
|
|
screen.app_launcher.visible = false
|
|
|
|
screen.app_launcher = nil
|
|
|
|
animation.x.ended:unsubscribe()
|
|
|
|
end)
|
2021-11-03 22:38:50 +01:00
|
|
|
else
|
2021-11-05 04:38:54 +01:00
|
|
|
animation.y.ended:subscribe(function()
|
2021-11-08 21:42:38 +01:00
|
|
|
if self.reset_on_hide == true then reset(self) end
|
2021-11-05 04:38:54 +01:00
|
|
|
screen.app_launcher.visible = false
|
|
|
|
screen.app_launcher = nil
|
|
|
|
animation.y.ended:unsubscribe()
|
|
|
|
end)
|
2021-11-03 22:38:50 +01:00
|
|
|
end
|
2021-11-05 04:38:54 +01:00
|
|
|
else
|
2021-11-08 21:42:38 +01:00
|
|
|
if self.reset_on_hide == true then reset(self) end
|
2021-11-05 04:38:54 +01:00
|
|
|
screen.app_launcher.visible = false
|
|
|
|
screen.app_launcher = nil
|
2021-11-03 22:38:50 +01:00
|
|
|
end
|
|
|
|
|
|
|
|
self:emit_signal("bling::app_launcher::visibility", false)
|
|
|
|
end
|
|
|
|
|
|
|
|
--- Toggles the app launcher
|
2021-11-05 04:38:54 +01:00
|
|
|
function app_launcher:toggle()
|
|
|
|
local screen = self.screen
|
|
|
|
if self.show_on_focused_screen then
|
|
|
|
screen = awful.screen.focused()
|
|
|
|
end
|
2021-11-03 22:38:50 +01:00
|
|
|
|
2021-11-05 04:38:54 +01:00
|
|
|
if screen.app_launcher and screen.app_launcher.visible then
|
|
|
|
self:hide()
|
2021-11-03 22:38:50 +01:00
|
|
|
else
|
2021-11-05 04:38:54 +01:00
|
|
|
self:show()
|
2021-11-03 22:38:50 +01:00
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
-- Returns a new app launcher
|
|
|
|
local function new(args)
|
|
|
|
args = args or {}
|
|
|
|
|
2023-02-19 16:45:24 +01:00
|
|
|
args.favorites = default_value(args.favorites, {})
|
|
|
|
args.search_commands = default_value(args.search_commands, true)
|
|
|
|
args.skip_names = default_value(args.skip_names, {})
|
|
|
|
args.skip_commands = default_value(args.skip_commands, {})
|
|
|
|
args.skip_empty_icons = default_value(args.skip_empty_icons, false)
|
|
|
|
args.sort_alphabetically = default_value(args.sort_alphabetically, true)
|
|
|
|
args.reverse_sort_alphabetically = default_value(args.reverse_sort_alphabetically, false)
|
|
|
|
args.select_before_spawn = default_value(args.select_before_spawn, true)
|
|
|
|
args.hide_on_left_clicked_outside = default_value(args.hide_on_left_clicked_outside, true)
|
|
|
|
args.hide_on_right_clicked_outside = default_value(args.hide_on_right_clicked_outside, true)
|
|
|
|
args.hide_on_launch = default_value(args.hide_on_launch, true)
|
|
|
|
args.try_to_keep_index_after_searching = default_value(args.try_to_keep_index_after_searching, false)
|
|
|
|
args.reset_on_hide = default_value(args.reset_on_hide, true)
|
|
|
|
args.save_history = default_value(args.save_history, true)
|
|
|
|
args.wrap_page_scrolling = default_value(args.wrap_page_scrolling, true)
|
|
|
|
args.wrap_app_scrolling = default_value(args.wrap_app_scrolling, true)
|
|
|
|
|
|
|
|
args.type = default_value(args.type, "dock")
|
|
|
|
args.show_on_focused_screen = default_value(args.show_on_focused_screen, true)
|
|
|
|
args.screen = default_value(args.screen, capi.screen.primary)
|
|
|
|
args.placement = default_value(args.placement, awful.placement.centered)
|
|
|
|
args.rubato = default_value(args.rubato, nil)
|
|
|
|
args.background = default_value(args.background, "#000000")
|
|
|
|
args.border_width = default_value(args.border_width, beautiful.border_width or dpi(0))
|
|
|
|
args.border_color = default_value(args.border_color, beautiful.border_color or "#FFFFFF")
|
|
|
|
args.shape = default_value(args.shape, nil)
|
|
|
|
|
|
|
|
args.default_app_icon_name = default_value(args.default_app_icon_name, nil)
|
|
|
|
args.default_app_icon_path = default_value(args.default_app_icon_path, nil)
|
|
|
|
args.icon_theme = default_value(args.icon_theme, nil)
|
|
|
|
args.icon_size = default_value(args.icon_size, nil)
|
|
|
|
|
|
|
|
args.apps_per_row = default_value(args.apps_per_row, 5)
|
|
|
|
args.apps_per_column = default_value(args.apps_per_column, 3)
|
|
|
|
args.apps_spacing = default_value(args.apps_spacing, dpi(30))
|
|
|
|
args.expand_apps = default_value(args.expand_apps, true)
|
|
|
|
|
|
|
|
args.prompt_bg_color = default_value(args.prompt_bg_color, beautiful.fg_normal or "#FFFFFF")
|
|
|
|
args.prompt_icon_font = default_value(args.prompt_icon_font, beautiful.font)
|
|
|
|
args.prompt_icon_color = default_value(args.prompt_icon_color, beautiful.bg_normal or "#000000")
|
|
|
|
args.prompt_icon = default_value(args.prompt_icon, "")
|
|
|
|
args.prompt_label = default_value(args.prompt_label, "<b>Search</b>: ")
|
|
|
|
args.prompt_font = default_value(args.prompt_font, beautiful.font)
|
|
|
|
args.prompt_text_color = default_value(args.prompt_text_color, beautiful.bg_normal or "#000000")
|
2021-11-03 22:38:50 +01:00
|
|
|
|
|
|
|
args.app_normal_color = args.app_normal_color or beautiful.bg_normal or "#000000"
|
2021-11-05 04:38:54 +01:00
|
|
|
args.app_normal_hover_color = args.app_normal_hover_color or (color.is_dark(args.app_normal_color) or color.is_opaque(args.app_normal_color)) and
|
|
|
|
color.rgba_to_hex(color.multiply(color.hex_to_rgba(args.app_normal_color), 2.5)) or
|
|
|
|
color.rgba_to_hex(color.multiply(color.hex_to_rgba(args.app_normal_color), 0.5))
|
2021-11-03 22:38:50 +01:00
|
|
|
args.app_selected_color = args.app_selected_color or beautiful.fg_normal or "#FFFFFF"
|
2021-11-05 04:38:54 +01:00
|
|
|
args.app_selected_hover_color = args.app_selected_hover_color or (color.is_dark(args.app_normal_color) or color.is_opaque(args.app_normal_color)) and
|
|
|
|
color.rgba_to_hex(color.multiply(color.hex_to_rgba(args.app_selected_color), 2.5)) or
|
|
|
|
color.rgba_to_hex(color.multiply(color.hex_to_rgba(args.app_selected_color), 0.5))
|
2023-02-19 16:45:24 +01:00
|
|
|
args.app_name_normal_color = default_value(args.app_name_normal_color, beautiful.fg_normal or "#FFFFFF")
|
|
|
|
args.app_name_selected_color = default_value(args.app_name_selected_color, beautiful.bg_normal or "#000000")
|
|
|
|
args.app_name_font = default_value(args.app_name_font, beautiful.font)
|
2021-11-03 22:38:50 +01:00
|
|
|
|
2023-02-05 14:48:13 +01:00
|
|
|
local ret = gobject {}
|
2023-02-19 16:36:09 +01:00
|
|
|
gtable.crush(ret, app_launcher, true)
|
|
|
|
gtable.crush(ret, args, true)
|
2021-11-03 22:38:50 +01:00
|
|
|
|
2023-02-19 16:47:54 +01:00
|
|
|
ret._private = {}
|
|
|
|
ret._private.text = ""
|
|
|
|
ret._private.max_apps_per_page = ret.apps_per_column * ret.apps_per_row
|
|
|
|
ret._private.apps_per_page = ret._private.max_apps_per_page
|
|
|
|
ret._private.pages_count = 0
|
|
|
|
ret._private.current_page = 1
|
2023-02-19 16:36:14 +01:00
|
|
|
ret._private.search_timer = gtimer {
|
|
|
|
timeout = 0.05,
|
|
|
|
autostart = true,
|
|
|
|
single_shot = true,
|
|
|
|
callback = function()
|
|
|
|
search(ret, ret._private.text)
|
|
|
|
end
|
|
|
|
}
|
|
|
|
|
2023-02-19 16:47:54 +01:00
|
|
|
|
2021-11-08 21:42:38 +01:00
|
|
|
ret._private.prompt = prompt
|
2021-11-03 22:38:50 +01:00
|
|
|
{
|
2023-02-19 16:33:53 +01:00
|
|
|
prompt = ret.prompt_label,
|
2021-11-03 22:38:50 +01:00
|
|
|
font = ret.prompt_font,
|
2021-11-08 21:42:38 +01:00
|
|
|
reset_on_stop = ret.reset_on_hide,
|
2023-02-19 16:33:53 +01:00
|
|
|
bg_cursor = beautiful.bg_normal or "#000000",
|
2021-11-08 21:42:38 +01:00
|
|
|
history_path = ret.save_history == true and gfilesystem.get_cache_dir() .. "/history" or nil,
|
2021-11-03 22:38:50 +01:00
|
|
|
changed_callback = function(text)
|
2021-11-05 04:38:54 +01:00
|
|
|
if text == ret._private.text then
|
|
|
|
return
|
|
|
|
end
|
|
|
|
|
|
|
|
ret._private.text = text
|
2023-02-19 16:36:14 +01:00
|
|
|
ret._private.search_timer:again()
|
2021-11-03 22:38:50 +01:00
|
|
|
end,
|
|
|
|
keypressed_callback = function(mod, key, cmd)
|
2021-11-05 04:38:54 +01:00
|
|
|
if key == "Escape" then
|
|
|
|
ret:hide()
|
|
|
|
end
|
2021-11-03 22:38:50 +01:00
|
|
|
if key == "Return" then
|
2021-11-05 04:38:54 +01:00
|
|
|
if ret._private.active_widget ~= nil then
|
2023-02-05 00:28:51 +01:00
|
|
|
ret._private.active_widget:spawn()
|
2021-11-03 22:38:50 +01:00
|
|
|
end
|
|
|
|
end
|
2021-11-05 04:38:54 +01:00
|
|
|
if key == "Up" then
|
2023-02-05 14:41:51 +01:00
|
|
|
ret:scroll_up()
|
2021-11-05 04:38:54 +01:00
|
|
|
end
|
|
|
|
if key == "Down" then
|
2023-02-05 14:41:51 +01:00
|
|
|
ret:scroll_down()
|
2021-11-05 04:38:54 +01:00
|
|
|
end
|
|
|
|
if key == "Left" then
|
2023-02-05 14:41:51 +01:00
|
|
|
ret:scroll_left()
|
2021-11-05 04:38:54 +01:00
|
|
|
end
|
|
|
|
if key == "Right" then
|
2023-02-05 14:41:51 +01:00
|
|
|
ret:scroll_right()
|
2021-11-05 04:38:54 +01:00
|
|
|
end
|
2021-11-03 22:38:50 +01:00
|
|
|
end
|
|
|
|
}
|
|
|
|
ret._private.grid = wibox.widget
|
|
|
|
{
|
|
|
|
layout = wibox.layout.grid,
|
2023-02-05 14:03:02 +01:00
|
|
|
orientation = "horizontal",
|
2023-02-05 14:43:06 +01:00
|
|
|
homogeneous = true,
|
|
|
|
expand = ret.expand_apps,
|
2021-11-03 22:38:50 +01:00
|
|
|
spacing = ret.apps_spacing,
|
2023-02-04 23:42:18 +01:00
|
|
|
forced_num_cols = ret.apps_per_column,
|
2023-02-05 14:03:02 +01:00
|
|
|
forced_num_rows = ret.apps_per_row,
|
2021-11-03 22:38:50 +01:00
|
|
|
buttons =
|
|
|
|
{
|
2023-02-05 14:41:51 +01:00
|
|
|
awful.button({}, 4, function() ret:scroll_up() end),
|
|
|
|
awful.button({}, 5, function() ret:scroll_down() end)
|
2021-11-03 22:38:50 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
ret._private.widget = awful.popup
|
|
|
|
{
|
2022-01-19 08:12:43 +01:00
|
|
|
type = args.type,
|
2021-11-03 22:38:50 +01:00
|
|
|
visible = false,
|
|
|
|
ontop = true,
|
2021-11-08 21:42:38 +01:00
|
|
|
placement = ret.placement,
|
2023-01-19 11:41:52 +01:00
|
|
|
border_width = ret.border_width,
|
|
|
|
border_color = ret.border_color,
|
2021-11-03 22:38:50 +01:00
|
|
|
shape = ret.shape,
|
|
|
|
bg = ret.background,
|
2023-02-05 15:36:31 +01:00
|
|
|
widget = args.widget_template ~= nil and args.widget_template(ret._private.prompt.textbox, ret._private.grid) or
|
2021-11-03 22:38:50 +01:00
|
|
|
{
|
|
|
|
layout = wibox.layout.fixed.vertical,
|
|
|
|
{
|
2023-02-19 16:33:53 +01:00
|
|
|
widget = wibox.container.background,
|
|
|
|
forced_height = dpi(100),
|
2023-02-19 16:36:03 +01:00
|
|
|
bg = ret.prompt_bg_color,
|
2023-02-19 16:33:53 +01:00
|
|
|
fg = ret.prompt_text_color,
|
2021-11-03 22:38:50 +01:00
|
|
|
{
|
2023-02-19 16:33:53 +01:00
|
|
|
widget = wibox.container.margin,
|
|
|
|
margins = dpi(30),
|
2021-11-03 22:38:50 +01:00
|
|
|
{
|
2023-02-19 16:33:53 +01:00
|
|
|
widget = wibox.container.place,
|
|
|
|
halign = "left",
|
|
|
|
valign = "center",
|
2021-11-03 22:38:50 +01:00
|
|
|
{
|
2023-02-19 16:33:53 +01:00
|
|
|
layout = wibox.layout.fixed.horizontal,
|
|
|
|
spacing = dpi(10),
|
2021-11-03 22:38:50 +01:00
|
|
|
{
|
2023-02-19 16:33:53 +01:00
|
|
|
widget = wibox.widget.textbox,
|
|
|
|
font = ret.prompt_icon_font,
|
|
|
|
markup = string.format("<span size='xx-large' foreground='%s'>%s</span>", args.prompt_icon_color, args.prompt_icon)
|
|
|
|
},
|
|
|
|
ret._private.prompt.textbox
|
2021-11-03 22:38:50 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
},
|
|
|
|
{
|
|
|
|
widget = wibox.container.margin,
|
2023-02-19 16:45:24 +01:00
|
|
|
margins = dpi(30),
|
2021-11-03 22:38:50 +01:00
|
|
|
ret._private.grid
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if ret.rubato and ret.rubato.x then
|
|
|
|
ret.rubato.x:subscribe(function(pos)
|
|
|
|
ret._private.widget.x = pos
|
|
|
|
end)
|
|
|
|
end
|
|
|
|
if ret.rubato and ret.rubato.y then
|
|
|
|
ret.rubato.y:subscribe(function(pos)
|
|
|
|
ret._private.widget.y = pos
|
|
|
|
end)
|
|
|
|
end
|
|
|
|
|
2021-11-08 21:42:38 +01:00
|
|
|
if ret.hide_on_left_clicked_outside then
|
2021-11-05 04:38:54 +01:00
|
|
|
awful.mouse.append_client_mousebinding(
|
|
|
|
awful.button({ }, 1, function (c)
|
|
|
|
ret:hide()
|
|
|
|
end)
|
|
|
|
)
|
|
|
|
|
|
|
|
awful.mouse.append_global_mousebinding(
|
|
|
|
awful.button({ }, 1, function (c)
|
|
|
|
ret:hide()
|
|
|
|
end)
|
|
|
|
)
|
2021-11-08 21:42:38 +01:00
|
|
|
end
|
|
|
|
if ret.hide_on_right_clicked_outside then
|
2021-11-05 04:38:54 +01:00
|
|
|
awful.mouse.append_client_mousebinding(
|
|
|
|
awful.button({ }, 3, function (c)
|
|
|
|
ret:hide()
|
|
|
|
end)
|
|
|
|
)
|
|
|
|
|
|
|
|
awful.mouse.append_global_mousebinding(
|
|
|
|
awful.button({ }, 3, function (c)
|
|
|
|
ret:hide()
|
|
|
|
end)
|
|
|
|
)
|
|
|
|
end
|
|
|
|
|
2023-02-04 23:53:50 +01:00
|
|
|
awful.spawn.easy_async_with_shell(KILL_OLD_INOTIFY_SCRIPT, function()
|
2023-02-05 13:57:39 +01:00
|
|
|
awful.spawn.with_line_callback(INOTIFY_SCRIPT, {stdout = function()
|
2021-11-08 21:42:38 +01:00
|
|
|
generate_apps(ret)
|
|
|
|
end})
|
|
|
|
end)
|
|
|
|
|
2023-02-05 01:20:23 +01:00
|
|
|
generate_apps(ret)
|
|
|
|
reset(ret)
|
|
|
|
|
2021-11-03 22:38:50 +01:00
|
|
|
return ret
|
|
|
|
end
|
|
|
|
|
|
|
|
function app_launcher.mt:__call(...)
|
|
|
|
return new(...)
|
|
|
|
end
|
|
|
|
|
|
|
|
return setmetatable(app_launcher, app_launcher.mt)
|