terminal-screen.c:1185:53: warning: conversion from 'double' to 'gint' {aka 'int'} may change value [-Wfloat-conversion]
1185 | priv->font_scale *
| ~~~~~~~~~~~~~~~~~^
--
terminal-window.c:2939:59: warning: conversion from 'gdouble' {aka 'double'} to 'int' may change value [-Wfloat-conversion]
2939 | tab_clicked = find_tab_num_at_pos (notebook, event->x_root, event->y_root);
| ~~~~~^~~~~~~~
terminal-window.c:2939:74: warning: conversion from 'gdouble' {aka 'double'} to 'int' may change value [-Wfloat-conversion]
2939 | tab_clicked = find_tab_num_at_pos (notebook, event->x_root, event->y_root);
| ~~~~~^~~~~~~~
terminal-window.c:2972:55: warning: conversion from 'gdouble' {aka 'double'} to 'int' may change value [-Wfloat-conversion]
2972 | tab_clicked = find_tab_num_at_pos (notebook, event->x_root, event->y_root);
| ~~~~~^~~~~~~~
terminal-window.c:2972:70: warning: conversion from 'gdouble' {aka 'double'} to 'int' may change value [-Wfloat-conversion]
2972 | tab_clicked = find_tab_num_at_pos (notebook, event->x_root, event->y_root);
| ~~~~~^~~~~~~~