literate-dotfiles/docs/gtk.html

86 lines
4.5 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>
2022-05-09 10:05:23 +02:00
<!-- 2022-05-09 lun. 10:04 -->
2020-01-11 22:04:45 +01:00
<meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
<title>GTK Configuration</title>
<meta name="author" content="Dehaeze Thomas" />
2022-05-09 10:05:23 +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>
2022-05-09 10:05:23 +02:00
</div><div id="content" class="content">
2020-01-11 22:04:45 +01:00
<h1 class="title">GTK Configuration</h1>
2022-05-09 10:05:23 +02:00
<div id="table-of-contents" role="doc-toc">
2020-01-11 22:04:45 +01:00
<h2>Table of Contents</h2>
2022-05-09 10:05:23 +02:00
<div id="text-table-of-contents" role="doc-toc">
2020-01-11 22:04:45 +01:00
<ul>
2022-05-09 10:05:23 +02:00
<li><a href="#org691cfb8">GTK-2.0</a></li>
<li><a href="#org1e355da">GTK-3.0</a></li>
2020-01-11 22:04:45 +01:00
</ul>
</div>
</div>
2022-05-09 10:05:23 +02:00
<div id="outline-container-org691cfb8" class="outline-2">
<h2 id="org691cfb8">GTK-2.0</h2>
<div class="outline-text-2" id="text-org691cfb8">
2020-01-11 22:04:45 +01:00
<div class="org-src-container">
<pre class="src src-conf"><span class="org-variable-name">gtk-theme-name</span>=<span class="org-string">"Arc-Dark"</span>
<span class="org-variable-name">gtk-icon-theme-name</span>=<span class="org-string">"Arc"</span>
<span class="org-variable-name">gtk-font-name</span>=<span class="org-string">"Hack Nerd Font Mono 10"</span>
<span class="org-variable-name">gtk-cursor-theme-name</span>=<span class="org-string">"xcursor-breeze"</span>
<span class="org-variable-name">gtk-cursor-theme-size</span>=<span class="org-highlight-numbers-number">0</span>
<span class="org-variable-name">gtk-toolbar-style</span>=GTK_TOOLBAR_BOTH
<span class="org-variable-name">gtk-toolbar-icon-size</span>=GTK_ICON_SIZE_LARGE_TOOLBAR
<span class="org-variable-name">gtk-button-images</span>=<span class="org-highlight-numbers-number">1</span>
<span class="org-variable-name">gtk-menu-images</span>=<span class="org-highlight-numbers-number">1</span>
<span class="org-variable-name">gtk-enable-event-sounds</span>=<span class="org-highlight-numbers-number">1</span>
<span class="org-variable-name">gtk-enable-input-feedback-sounds</span>=<span class="org-highlight-numbers-number">1</span>
<span class="org-variable-name">gtk-xft-antialias</span>=<span class="org-highlight-numbers-number">1</span>
<span class="org-variable-name">gtk-xft-hinting</span>=<span class="org-highlight-numbers-number">1</span>
<span class="org-variable-name">gtk-xft-hintstyle</span>=<span class="org-string">"hintfull"</span>
<span class="org-variable-name">gtk-xft-rgba</span>=<span class="org-string">"rgb"</span>
</pre>
</div>
</div>
</div>
2022-05-09 10:05:23 +02:00
<div id="outline-container-org1e355da" class="outline-2">
<h2 id="org1e355da">GTK-3.0</h2>
<div class="outline-text-2" id="text-org1e355da">
2020-01-11 22:04:45 +01:00
<div class="org-src-container">
<pre class="src src-conf">[<span class="org-type">Settings</span>]
<span class="org-variable-name">gtk-theme-name</span>=Arc-Dark
<span class="org-variable-name">gtk-icon-theme-name</span>=Arc
<span class="org-variable-name">gtk-font-name</span>=Hack Nerd Font Mono <span class="org-highlight-numbers-number">10</span>
<span class="org-variable-name">gtk-cursor-theme-name</span>=xcursor-breeze
<span class="org-variable-name">gtk-cursor-theme-size</span>=<span class="org-highlight-numbers-number">0</span>
<span class="org-variable-name">gtk-toolbar-style</span>=GTK_TOOLBAR_BOTH
<span class="org-variable-name">gtk-toolbar-icon-size</span>=GTK_ICON_SIZE_LARGE_TOOLBAR
<span class="org-variable-name">gtk-button-images</span>=<span class="org-highlight-numbers-number">1</span>
<span class="org-variable-name">gtk-menu-images</span>=<span class="org-highlight-numbers-number">1</span>
<span class="org-variable-name">gtk-enable-event-sounds</span>=<span class="org-highlight-numbers-number">1</span>
<span class="org-variable-name">gtk-enable-input-feedback-sounds</span>=<span class="org-highlight-numbers-number">1</span>
<span class="org-variable-name">gtk-xft-antialias</span>=<span class="org-highlight-numbers-number">1</span>
<span class="org-variable-name">gtk-xft-hinting</span>=<span class="org-highlight-numbers-number">1</span>
<span class="org-variable-name">gtk-xft-hintstyle</span>=hintfull
<span class="org-variable-name">gtk-xft-rgba</span>=rgb
</pre>
</div>
</div>
</div>
</div>
<div id="postamble" class="status">
<p class="author">Author: Dehaeze Thomas</p>
2022-05-09 10:05:23 +02:00
<p class="date">Created: 2022-05-09 lun. 10:04</p>
2020-01-11 22:04:45 +01:00
</div>
</body>
</html>