literate-dotfiles/docs/rofi.html

280 lines
10 KiB
HTML
Raw Permalink Normal View History

2020-01-11 22:04:45 +01:00
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en">
<head>
2021-04-25 19:10:57 +02:00
<!-- 2021-04-25 dim. 19:10 -->
2020-01-11 22:04:45 +01:00
<meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
<title>Rofi Configuration</title>
<meta name="author" content="Dehaeze Thomas" />
2021-04-25 19:10:57 +02:00
<meta name="generator" content="Org Mode" />
2021-01-01 20:12:34 +01:00
<link rel="stylesheet" type="text/css" href="./dist/style.css"/>
<script type="text/javascript" src="./dist/script.js"></script>
2020-01-11 22:04:45 +01:00
</head>
<body>
<div id="org-div-home-and-up">
<a accesskey="h" href="./index.html"> UP </a>
|
<a accesskey="H" href="./index.html"> HOME </a>
</div><div id="content">
<h1 class="title">Rofi Configuration</h1>
<div id="table-of-contents">
<h2>Table of Contents</h2>
<div id="text-table-of-contents">
<ul>
2021-01-01 20:12:34 +01:00
<li><a href="#orgcda15fb">Rofi</a></li>
<li><a href="#orged85414">Theme</a></li>
2020-01-11 22:04:45 +01:00
</ul>
</div>
</div>
2021-01-01 20:12:34 +01:00
<div id="outline-container-orgcda15fb" class="outline-2">
<h2 id="orgcda15fb">Rofi</h2>
<div class="outline-text-2" id="text-orgcda15fb">
2020-01-11 22:04:45 +01:00
<div class="org-src-container">
2021-01-08 01:43:48 +01:00
<pre class="src src-conf"><span class="org-type">configuration</span> {
modi: <span class="org-string">"window,run,ssh"</span>;
width: <span class="org-highlight-numbers-number">50</span>;
lines: <span class="org-highlight-numbers-number">15</span>;
columns: <span class="org-highlight-numbers-number">1</span>;
font: <span class="org-string">"Hack Nerd Font 12"</span>;
fixed-num-lines: true;
show-icons: false;
terminal: <span class="org-string">"rofi-sensible-terminal"</span>;
sort: false;
case-sensitive: false;
cycle: true;
sidebar-mode: false;
auto-select: false;
combi-modi: <span class="org-string">"window,run"</span>;
matching: <span class="org-string">"normal"</span>;
line-margin: <span class="org-highlight-numbers-number">2</span>;
line-padding: <span class="org-highlight-numbers-number">1</span>;
separator-style: <span class="org-string">"dash"</span>;
hide-scrollbar: true;
fullscreen: false;
dpi: -1;
show-match: true;
theme: <span class="org-string">"gruvbox-dark-soft"</span>;
kb-move-front: <span class="org-string">"Control+a"</span>;
kb-move-end: <span class="org-string">"Control+e"</span>;
kb-move-word-back: <span class="org-string">"Alt+b,Control+Left"</span>;
kb-move-word-forward: <span class="org-string">"Alt+f,Control+Right"</span>;
kb-move-char-back: <span class="org-string">"Left,Control+b"</span>;
kb-move-char-forward: <span class="org-string">"Right,Control+f"</span>;
kb-remove-char-forward: <span class="org-string">"Delete,Control+d"</span>;
kb-remove-char-back: <span class="org-string">"BackSpace,Shift+BackSpace"</span>;
kb-remove-to-eol: <span class="org-string">"Control+k"</span>;
kb-remove-to-sol: <span class="org-string">"Control+u"</span>;
kb-accept-entry: <span class="org-string">"Control+j,Return,KP_Enter"</span>;
kb-accept-custom: <span class="org-string">"Control+Return"</span>;
kb-accept-alt: <span class="org-string">"Shift+Return"</span>;
kb-delete-entry: <span class="org-string">"Shift+Delete"</span>;
kb-row-up: <span class="org-string">"Up,Control+p"</span>;
kb-row-down: <span class="org-string">"Down,Control+n"</span>;
kb-row-tab: <span class="org-string">"Tab"</span>;
kb-row-first: <span class="org-string">"Home,KP_Home"</span>;
kb-row-last: <span class="org-string">"End,KP_End"</span>;
kb-row-select: <span class="org-string">"Control+space"</span>;
kb-cancel: <span class="org-string">"Escape,Control+g"</span>;
}
2020-01-11 22:04:45 +01:00
</pre>
</div>
</div>
</div>
2021-01-01 20:12:34 +01:00
<div id="outline-container-orged85414" class="outline-2">
<h2 id="orged85414">Theme</h2>
<div class="outline-text-2" id="text-orged85414">
2020-01-11 22:04:45 +01:00
<div class="org-src-container">
2021-01-08 01:43:48 +01:00
<pre class="src src-conf"><span class="org-type">configuration</span> {
me-select-entry: <span class="org-string">"MouseSecondary"</span>;
me-accept-entry: <span class="org-string">"MousePrimary"</span>;
scroll-method: <span class="org-highlight-numbers-number">1</span>;
show-icons: true;
sidebar-mode: true;
kb-custom-1: <span class="org-string">""</span>;
kb-custom-2: <span class="org-string">""</span>;
kb-custom-3: <span class="org-string">""</span>;
kb-custom-4: <span class="org-string">""</span>;
kb-custom-5: <span class="org-string">""</span>;
kb-custom-6: <span class="org-string">""</span>;
kb-custom-7: <span class="org-string">""</span>;
kb-custom-8: <span class="org-string">""</span>;
kb-custom-9: <span class="org-string">""</span>;
kb-custom-10: <span class="org-string">""</span>;
kb-select-1: <span class="org-string">"Alt+1"</span>;
kb-select-2: <span class="org-string">"Alt+2"</span>;
kb-select-3: <span class="org-string">"Alt+3"</span>;
kb-select-4: <span class="org-string">"Alt+4"</span>;
kb-select-5: <span class="org-string">"Alt+5"</span>;
kb-select-6: <span class="org-string">"Alt+6"</span>;
kb-select-7: <span class="org-string">"Alt+7"</span>;
kb-select-8: <span class="org-string">"Alt+8"</span>;
kb-select-9: <span class="org-string">"Alt+9"</span>;
kb-select-10: <span class="org-string">"Alt+0"</span>;
}
2020-01-11 22:04:45 +01:00
2021-01-08 01:43:48 +01:00
<span class="org-type">*</span> {
//// COLORS ////
2020-01-11 22:04:45 +01:00
2021-01-08 01:43:48 +01:00
//// uncomment to match bspwm edition theme
background: <span class="org-comment-delimiter">#</span><span class="org-comment">292f34FF;</span>
background-color: <span class="org-comment-delimiter">#</span><span class="org-comment">292f3400;</span>
foreground: <span class="org-comment-delimiter">#</span><span class="org-comment">F6F9FFFF;</span>
selected: <span class="org-comment-delimiter">#</span><span class="org-comment">1ABB9BFF;</span>
selected-foreground: @foreground;
2020-01-11 22:04:45 +01:00
2021-01-08 01:43:48 +01:00
//// uncomment to match Adapta Nokto theme
// background: <span class="org-comment-delimiter">#</span><span class="org-comment">222D32E8;</span>
// background-color: <span class="org-comment-delimiter">#</span><span class="org-comment">00000000;</span>
// foreground: <span class="org-comment-delimiter">#</span><span class="org-comment">CFD8DCFF;</span>
// selected: <span class="org-comment-delimiter">#</span><span class="org-comment">00BCD4FF;</span>
// selected-foreground: <span class="org-comment-delimiter">#</span><span class="org-comment">FFFFFFFF;</span>
2020-01-11 22:04:45 +01:00
2021-01-08 01:43:48 +01:00
//// common - active and urgent
active-background: <span class="org-comment-delimiter">#</span><span class="org-comment">3A464BFF;</span>
urgent-background: <span class="org-comment-delimiter">#</span><span class="org-comment">800000FF;</span>
urgent-foreground: @foreground;
selected-urgent-background: @urgent-foreground;
selected-urgent-foreground: @urgent-background;
2020-01-11 22:04:45 +01:00
2021-01-08 01:43:48 +01:00
//// TEXT ////
2020-01-11 22:04:45 +01:00
2021-01-08 01:43:48 +01:00
font: <span class="org-string">"xos4 Terminus 18px"</span>;
text-color: @foreground;
2020-01-11 22:04:45 +01:00
2021-01-08 01:43:48 +01:00
//// PADDING ETC ////
2020-01-11 22:04:45 +01:00
2021-01-08 01:43:48 +01:00
margin: 0px;
border: 0px;
padding: 0px;
spacing: 0px;
elementpadding: 2px 0px;
elementmargin: 0px 2px;
listmargin: 0px 2px 0px 0px;
2020-01-11 22:04:45 +01:00
2021-01-08 01:43:48 +01:00
//// SIZE ////
2020-01-11 22:04:45 +01:00
2021-01-08 01:43:48 +01:00
windowwidth: 40ch;
buttonwidth: 18ch;
lines: <span class="org-highlight-numbers-number">12</span>;
fixed-height: false;
2020-01-11 22:04:45 +01:00
2021-01-08 01:43:48 +01:00
//// POSITION ////
2020-01-11 22:04:45 +01:00
2021-01-08 01:43:48 +01:00
location: northwest;
anchor: northwest;
x-offset: 0px;
y-offset: 24px;
2020-01-11 22:04:45 +01:00
2021-01-08 01:43:48 +01:00
//// LAYOUT ////
2020-01-11 22:04:45 +01:00
2021-01-08 01:43:48 +01:00
scrollbar: true;
2020-01-11 22:04:45 +01:00
2021-01-08 01:43:48 +01:00
//// uncomment to get submenu-like style
menustyle: [ sb-mainbox ];
buttonpadding: 2px 1ch;
button-bg: @background;
dynamic: true;
2020-01-11 22:04:45 +01:00
2021-01-08 01:43:48 +01:00
//// uncomment to get tabs-like style
// menustyle: [ tb-mainbox ];
// buttonpadding: 14px 1ch;
// dynamic: false;
}
//////////////////////////////////////////
<span class="org-type">window</span> {
width: @windowwidth;
children: @menustyle;
}
//submenu-style
<span class="org-type">sb-mainbox</span> {
orientation: horizontal;
children: [ sidebar, vertibox ];
}
//tabs-style
<span class="org-type">tb-mainbox</span> {
orientation: vertical;
children: [ inputbar, horibox ];
background-color: @background;
}
//desktop-submenu
<span class="org-type">dt-mainbox</span> {
orientation: vertical;
children: [ boxdummy, sb-mainbox ];
}
<span class="org-type">horibox</span> {
orientation: horizontal;
children: [ listview, sidebar ];
}
<span class="org-type">sidebar</span> {
orientation: vertical;
}
<span class="org-type">button</span> {
horizontal-align: <span class="org-highlight-numbers-number">0</span>;
padding: @buttonpadding;
width: @buttonwidth;
background-color: @button-bg;
expand: false;
}
<span class="org-type">vertibox</span> {
orientation: vertical;
children: [ inputbar, listview ];
background-color: @background;
}
<span class="org-type">prompt</span> {
enabled: false;
}
<span class="org-type">listview</span> {
margin: @listmargin;
}
<span class="org-type">scrollbar</span> {
handle-width: 0.5ch;
handle-color: @selected;
}
<span class="org-type">boxdummy</span> {
enabled: false;
orientation: vertical;
expand: false;
children: [ textboxdummy ];
}
<span class="org-type">textboxdummy</span> {
str: <span class="org-string">" "</span>;
}
<span class="org-type">element, inputbar, textboxdummy</span> {
padding: @elementpadding;
margin: @elementmargin;
width: @elementwidth;
}
element.normal.active,
<span class="org-type">element.alternate.active</span> {
background-color: @active-background;
text-color: @selected-foreground;
}
element.selected,
<span class="org-type">button.selected</span> {
background-color: @selected;
text-color: @selected-foreground;
}
element.normal.urgent,
<span class="org-type">element.alternate.urgent</span> {
background-color: @urgent-background;
text-color: @urgent-foreground;
}
<span class="org-type">element.selected.urgent</span> {
background-color: @selected-urgent-background;
text-color: @selected-urgent-foreground;
}
2020-01-11 22:04:45 +01:00
</pre>
</div>
</div>
</div>
</div>
<div id="postamble" class="status">
<p class="author">Author: Dehaeze Thomas</p>
2021-04-25 19:10:57 +02:00
<p class="date">Created: 2021-04-25 dim. 19:10</p>
2020-01-11 22:04:45 +01:00
</div>
</body>
</html>