type Filter_Type is
(
Filter_Nearest, Filter_Quality, Filter_HQX,
Filter_2xSaI,
Filter_Eagle,
Filter_ScaleX
);
References:
scaling.adb:49:38 (reference)
scaling.adb:50:24 (reference)
scaling.adb:190:35 (reference)
scaling.adb:190:50 (reference)
scaling.adb:191:32 (reference)
scaling.adb:192:18 (reference)
scaling.adb:194:19 (reference)
themes.adb:228:78 (reference)
themes.adb:342:44 (reference)
themes.adb:346:28 (reference)
widgets-containers-windows.adb:21:38 (reference)
widgets-containers-windows.adb:42:35 (reference)
game_views-ked-actions.adb:69:35 (reference)
game_views-ked-actions.adb:73:39 (reference)