technic93 technic

How to change font linespacing

Reason: want spread lines but Qt Creator has no such option
Result: https://i.imgsafe.org/7a156ea.png

Manual

You need to manipulate a ttf file. I found such a script that comes with Input font at http://input.fontbureau.com. So we copy DejaVuSansMono ttf files to ~/.fonts/ and create a new font DejaVuSansMonoH. I changed line 147, to match this font name, and run

Go to Document -> Settings -> Local layout and enter something like

LeftMargin MM
RightMargin MM

Done! Thx to this forum topic

	#!/bin/sh
	id=`xprop -root _NET_ACTIVE_WINDOW \|awk -F ' ' '{print $NF}'`
	echo "id $id"
	echo `xprop -id "$id" _MOTIF_WM_HINTS`
	val=`xprop -id "$id" _MOTIF_WM_HINTS \|awk -F '=' '{print $2}' \|awk -F ', ' '{print $3}'`
	echo "now $val"
	if test "$val" -eq 1
	then
	echo "set 0"
	xprop -id "$id" -f _MOTIF_WM_HINTS 32c -set _MOTIF_WM_HINTS "0x2, 0x0, 0x0, 0x0, 0x0"

	# ~/.bash_logout: executed by bash(1) when login shell exits.

	# when leaving the console clear the screen to increase privacy

	if [ "$SHLVL" = 1 ]; then
	[ -x /usr/bin/clear_console ] && /usr/bin/clear_console -q
	fi

	[package]
	name = "iron-shared-example"
	version = "0.1.0"
	authors = ["Alex Maystrenko <[email protected]>"]

	[dependencies]
	iron = "*"
	router = "*"
	persistent = "*"
	urlencoded = "*"

	# technic mod of bira theme

	local return_code="%(?..%{$fg[red]%}%? ↵%{$reset_color%})"

	if [[ $UID -eq 0 ]]; then
	local user_host='%{$terminfo[bold]$fg[red]%}%n@%m%{$reset_color%}'
	local user_symbol='#'
	else
	local user_host='%{$terminfo[bold]$fg[green]%}%n@%m%{$reset_color%}'
	local user_symbol='$'

	*.aux
	*.log
	*.out
	*.tex

	command-sequence label-insert [_CURSOR_]; inset-insert ref LatexCommand eqref reference "_CURSOR_" \end_inset; char-left; inset-settings ref; char-delete-backward; char-right;

	command-sequence label-insert [_CURSOR_]; inset-insert ref LatexCommand formatted reference "_CURSOR_" \end_inset; char-left; inset-settings ref; char-delete-backward; char-right;