Home
last modified time | relevance | path

Searched refs:browserToolPanelHeight (Results 1 – 5 of 5) sorted by relevance

/dports/graphics/rawtherapee/rawtherapee-5.8/rtgui/
H A Dfilepanel.cc187 tpcPaned->set_position(options.browserToolPanelHeight); in setAspect()
367 options.browserToolPanelHeight = tpcPaned->get_position (); in saveOptions()
H A Doptions.h192 int browserToolPanelHeight; variable
H A Doptions.cc344 browserToolPanelHeight = 600; in setDefaults()
1230 browserToolPanelHeight = keyFile.get_integer("GUI", "BrowserToolPanelHeight"); in readFromFile()
2071 keyFile.set_integer("GUI", "BrowserToolPanelHeight", browserToolPanelHeight); in saveToFile()
/dports/graphics/art/ART-1.9.3/rtgui/
H A Doptions.h201 int browserToolPanelHeight; variable
H A Doptions.cc329 browserToolPanelHeight = 600; in setDefaults()
1305 browserToolPanelHeight = keyFile.get_integer("GUI", "BrowserToolPanelHeight"); in readFromFile()
2084 keyFile.set_integer("GUI", "BrowserToolPanelHeight", browserToolPanelHeight); in saveToFile()