Home
last modified time | relevance | path

Searched refs:dirBrowserHeight (Results 1 – 6 of 6) sorted by relevance

/dports/graphics/art/ART-1.9.3/rtgui/
H A Dfilepanel.cc46 placespaned->set_position (options.dirBrowserHeight); in FilePanel()
177 placespaned->set_position(options.dirBrowserHeight); in setAspect()
387 options.dirBrowserHeight = placespaned->get_position (); in saveOptions()
H A Doptions.h223 int dirBrowserHeight; variable
H A Doptions.cc323 dirBrowserHeight = 350; in setDefaults()
1273 dirBrowserHeight = keyFile.get_integer("GUI", "DirBrowserHeight"); in readFromFile()
2076 keyFile.set_integer("GUI", "DirBrowserHeight", dirBrowserHeight); in saveToFile()
/dports/graphics/rawtherapee/rawtherapee-5.8/rtgui/
H A Dfilepanel.cc51 placespaned->set_position (options.dirBrowserHeight); in FilePanel()
185 placespaned->set_position(options.dirBrowserHeight); in setAspect()
365 options.dirBrowserHeight = placespaned->get_position (); in saveOptions()
H A Doptions.h213 int dirBrowserHeight; variable
H A Doptions.cc338 dirBrowserHeight = 350; in setDefaults()
1198 dirBrowserHeight = keyFile.get_integer("GUI", "DirBrowserHeight"); in readFromFile()
2063 keyFile.set_integer("GUI", "DirBrowserHeight", dirBrowserHeight); in saveToFile()