I use Terminal.Gui library: https://github.com/migueldeicaza/gui.cs
Is it possible to convert Dim to int? For example:
Window win = new Window("name") {
X = 0,
Y = 0,
Width = Dim.Fill(),
Height = Dim.Fill()
};
int width = (int)win.Width; //There is "Cannot convert type Gui.Terminal.Dim to int" exception actually