Add wofi launcher

This commit is contained in:
ItsDrike 2024-06-10 19:19:30 +02:00
parent e20e63e57b
commit 6a85f6b61b
Signed by: ItsDrike
GPG key ID: FA2745890B7048C0
4 changed files with 78 additions and 0 deletions

View file

@ -1,5 +1,6 @@
_: { _: {
imports = [ imports = [
./wms ./wms
./launchers
]; ];
} }

View file

@ -0,0 +1,9 @@
{
imports = [
#./anyrun
#./rofi
#./tofi
#./walker
./wofi
];
}

View file

@ -0,0 +1,17 @@
_: {
programs.wofi = {
enable = true;
settings = {
width = "40%";
height = "30%";
show = "drun";
prompt = "Search";
allow_images = true;
allow_markup = true;
insensitive = true;
};
style = ''
${builtins.readFile ./style.css}
'';
};
}

View file

@ -0,0 +1,51 @@
window {
font-family: "DejaVu Sans", "Font Awesome 5 Free";
margin: 0px;
border: 1px solid rgba(0, 0, 0, 0.9);
background-color: rgba(29, 31, 33, 0.95);
border-radius: 10px;
}
#input {
margin: 5px;
border: none;
color: #f8f8f2;
background-color: rgba(55, 59, 65, 0.95);
}
#inner-box {
margin: 5px;
border: none;
background-color: transparent;
}
#outer-box {
margin: 5px;
border: none;
background-color: transparent;
}
#scroll {
margin: 0px;
border: none;
}
#text {
margin: 5px;
border: none;
color: #c5c8c6;
}
#entry {
border: none;
}
#entry:focus {
border: none;
}
#entry:selected {
background-color: rgba(55, 59, 65, 0.95);
border-radius: 5px;
border: none;
}