mirror of
https://github.com/CHOMPStation2/CHOMPStation2.git
synced 2025-12-10 02:09:41 +00:00
Merge pull request #7381 from Verkister/patch-43
Adds a preference dropdown for window scaling
This commit is contained in:
@@ -880,6 +880,31 @@ menu "menu"
|
||||
category = "&Icons"
|
||||
can-check = true
|
||||
saved-params = "is-checked"
|
||||
elem
|
||||
name = "&Scaling"
|
||||
command = ""
|
||||
saved-params = "is-checked"
|
||||
elem "nearest-neighbor"
|
||||
name = "&Nearest Neighbor"
|
||||
command = ".winset \"mapwindow.map.zoom-mode=distort\""
|
||||
category = "&Scaling"
|
||||
can-check = true
|
||||
group = "scale"
|
||||
saved-params = "is-checked"
|
||||
elem "point-sample"
|
||||
name = "&Point Sampling"
|
||||
command = ".winset \"mapwindow.map.zoom-mode=normal\""
|
||||
category = "&Scaling"
|
||||
can-check = true
|
||||
group = "scale"
|
||||
saved-params = "is-checked"
|
||||
elem "blur"
|
||||
name = "&Blur"
|
||||
command = ".winset \"mapwindow.map.zoom-mode=blur\""
|
||||
category = "&Scaling"
|
||||
can-check = true
|
||||
group = "scale"
|
||||
saved-params = "is-checked"
|
||||
elem
|
||||
name = "&Help"
|
||||
command = ""
|
||||
|
||||
Reference in New Issue
Block a user