Check-in [d5565118ee]
Not logged in
Home Downloads Timeline Branches Tags Tickets Wiki Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:another tweak in scrollutil/tablelist
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: d5565118ee050238a5941eab57983391f0b82c2a
User & Date: chw 2021-12-18 09:44:54
Context
2021-12-19
07:53
doc update for ticket [86455512c2] check-in: bc442f3e63 user: chw tags: trunk
2021-12-18
09:48
merge with trunk check-in: e516f3ae9a user: chw tags: wtf-8-experiment
09:44
another tweak in scrollutil/tablelist check-in: d5565118ee user: chw tags: trunk
05:38
patch from sebres to fix ticket [ddf8ad3d09] check-in: 89f0d3f682 user: chw tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to assets/tklib0.7/scrollutil/scripts/utils/scaleutil.tcl.

︙︙
46
47
48
49
50
51
52
53
54
55

56
57
58
59
60
61
62

#
# Returns the display's current scaling percentage (100, 125, 150, 175, or 200).
#------------------------------------------------------------------------------
proc scaleutil::scalingPercentage winSys {
    set onX11 [expr {[string compare $winSys "x11"] == 0}]
    set pct [expr {[tk scaling] * 75}]

    if {0 && $onX11} {
	set factor 1
	set changed 0

	if {[catch {exec ps -e | grep xfce}] == 0} {			;# Xfce
	    if {[catch {exec xfconf-query -c xsettings \
		 -p /Gdk/WindowScalingFactor} result] == 0} {
		set factor $result
		set pct [expr {100 * $factor}]
		set changed 1
	    }








<
|
|
>








46
47
48
49
50
51
52

53
54
55
56
57
58
59
60
61
62

#
# Returns the display's current scaling percentage (100, 125, 150, 175, or 200).
#------------------------------------------------------------------------------
proc scaleutil::scalingPercentage winSys {
    set onX11 [expr {[string compare $winSys "x11"] == 0}]
    set pct [expr {[tk scaling] * 75}]


    set factor 1
    set changed 0
    if {0 && $onX11} {
	if {[catch {exec ps -e | grep xfce}] == 0} {			;# Xfce
	    if {[catch {exec xfconf-query -c xsettings \
		 -p /Gdk/WindowScalingFactor} result] == 0} {
		set factor $result
		set pct [expr {100 * $factor}]
		set changed 1
	    }
︙︙
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157

    # Scale the default size of the scale widget and its slider
    #
    option add *Scale.length		$pct widgetDefault
    option add *Scale.sliderLength	[scale 30 $pct] widgetDefault
    option add *Scale.width		[scale 15 $pct] widgetDefault

    if {$onX11} {
	if {1 && $changed} {
	    tk scaling [expr {$pct / 75.0}]
	}

	#
	# Conditionally correct and then scale the sizes of the standard fonts
	#
	if {$::tk_version >= 8.5} {








|








143
144
145
146
147
148
149
150
151
152
153
154
155
156
157

    # Scale the default size of the scale widget and its slider
    #
    option add *Scale.length		$pct widgetDefault
    option add *Scale.sliderLength	[scale 30 $pct] widgetDefault
    option add *Scale.width		[scale 15 $pct] widgetDefault

    if {$onX11} {
	if {$changed} {
	    tk scaling [expr {$pct / 75.0}]
	}

	#
	# Conditionally correct and then scale the sizes of the standard fonts
	#
	if {$::tk_version >= 8.5} {
︙︙

Changes to assets/tklib0.7/tablelist/scripts/utils/scaleutil.tcl.

︙︙
46
47
48
49
50
51
52
53
54
55

56
57
58
59
60
61
62

#
# Returns the display's current scaling percentage (100, 125, 150, 175, or 200).
#------------------------------------------------------------------------------
proc scaleutil::scalingPercentage winSys {
    set onX11 [expr {[string compare $winSys "x11"] == 0}]
    set pct [expr {[tk scaling] * 75}]

    if {0 && $onX11} {
	set factor 1
	set changed 0

	if {[catch {exec ps -e | grep xfce}] == 0} {			;# Xfce
	    if {[catch {exec xfconf-query -c xsettings \
		 -p /Gdk/WindowScalingFactor} result] == 0} {
		set factor $result
		set pct [expr {100 * $factor}]
		set changed 1
	    }








<
|
|
>








46
47
48
49
50
51
52

53
54
55
56
57
58
59
60
61
62

#
# Returns the display's current scaling percentage (100, 125, 150, 175, or 200).
#------------------------------------------------------------------------------
proc scaleutil::scalingPercentage winSys {
    set onX11 [expr {[string compare $winSys "x11"] == 0}]
    set pct [expr {[tk scaling] * 75}]


    set factor 1
    set changed 0
    if {0 && $onX11} {
	if {[catch {exec ps -e | grep xfce}] == 0} {			;# Xfce
	    if {[catch {exec xfconf-query -c xsettings \
		 -p /Gdk/WindowScalingFactor} result] == 0} {
		set factor $result
		set pct [expr {100 * $factor}]
		set changed 1
	    }
︙︙
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157

    # Scale the default size of the scale widget and its slider
    #
    option add *Scale.length		$pct widgetDefault
    option add *Scale.sliderLength	[scale 30 $pct] widgetDefault
    option add *Scale.width		[scale 15 $pct] widgetDefault

    if {$onX11} {
	if {1 && $changed} {
	    tk scaling [expr {$pct / 75.0}]
	}

	#
	# Conditionally correct and then scale the sizes of the standard fonts
	#
	if {$::tk_version >= 8.5} {








|








143
144
145
146
147
148
149
150
151
152
153
154
155
156
157

    # Scale the default size of the scale widget and its slider
    #
    option add *Scale.length		$pct widgetDefault
    option add *Scale.sliderLength	[scale 30 $pct] widgetDefault
    option add *Scale.width		[scale 15 $pct] widgetDefault

    if {$onX11} {
	if {$changed} {
	    tk scaling [expr {$pct / 75.0}]
	}

	#
	# Conditionally correct and then scale the sizes of the standard fonts
	#
	if {$::tk_version >= 8.5} {
︙︙

Fossil version [89da205267] 2024-04-30 10:17:13