UserPreferences.st
changeset 25277 601dd32cbb8c
parent 25197 436fda3e096c
child 25278 8839654b501f
equal deleted inserted replaced
25276:0dda36c20228 25277:601dd32cbb8c
  2364     "
  2364     "
  2365 
  2365 
  2366     "Modified: / 22-10-2010 / 11:13:54 / cg"
  2366     "Modified: / 22-10-2010 / 11:13:54 / cg"
  2367 !
  2367 !
  2368 
  2368 
       
  2369 icccm20Compliant
       
  2370     "should I behave icccm20Compliant w.r.t the X window manager?"
       
  2371 
       
  2372     ^ true
       
  2373 
       
  2374     "
       
  2375      UserPreferences current icccm20Compliant
       
  2376     "
       
  2377 
       
  2378     "Created: / 08-11-2010 / 14:47:52 / cg"
       
  2379     "Modified: / 09-11-2010 / 13:02:43 / cg"
       
  2380 !
       
  2381 
  2369 menuPanelTakesFocusOnClick
  2382 menuPanelTakesFocusOnClick
  2370     "if true, the menu panel takes the focus and allows further control via
  2383     "if true, the menu panel takes the focus and allows further control via
  2371      cursor and tab keys."
  2384      cursor and tab keys."
  2372 
  2385 
  2373     "/ read comment in menuPanel - for now, it should be on,
  2386     "/ read comment in menuPanel - for now, it should be on,