Corrigindo o tamanho de um widget GTK?

Question

Estou tentando corrigir o tamanho de um widget no GTK+, usando especificamente o GTK2HS com o Haskell.

Eu desenhei uma imagem em um drawearea e gostaria de especificar o tamanho exato desta área de desenho. Não quero que outros widgets ou o usuário tornem esse widget maior ou menor. Isso é possível?

Observe que estou usando o GHC versão 6.10.4 no Ubuntu 9.10. GTK2HS versão 0.10.1.

Answer 1

Você pode ligar para GTK_WIDGET_SET_SIZE_REQUEST () para causar um widget para solicitar uma altura e largura fixa. Você terá que determinar o equivalente Haskell.

Observe que essa geralmente é uma má idéia (TM) e você deve organizar seus recipientes e propriedades de embalagem infantil, de modo que seus controles sejam dimensionados adequadamente. Por exemplo, alterar o tamanho da sua imagem exigirá alterações de código se você for codificar os valores da solicitação de tamanho.

Answer 2

A função GTK2HS para corrigir um tamanho de widget é:

widgetSetSizeRequest 
  :: WidgetClass self    
  => self    
  -> Int    
  -> Int    
  -> IO ()

Com como argumentos:

1. O widget
2. Largura do widget
3. Altura do widget