70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
}
- (void)setDoubleClickInterval: (int)doubleClickInterval
{
toQt(self)->setDoubleClickInterval(doubleClickInterval);
}
- (of_dimension_t)globalStrut
{
return toOF(toQt(self)->globalStrut());
}
- (void)setGlobalStrut: (of_dimension_t)globalStrut
{
toQt(self)->setGlobalStrut(toQt(globalStrut).toSize());
}
- (int)keyboardInputInterval
{
return toQt(self)->keyboardInputInterval();
|
|
|
|
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
}
- (void)setDoubleClickInterval: (int)doubleClickInterval
{
toQt(self)->setDoubleClickInterval(doubleClickInterval);
}
- (OFSize)globalStrut
{
return toOF(toQt(self)->globalStrut());
}
- (void)setGlobalStrut: (OFSize)globalStrut
{
toQt(self)->setGlobalStrut(toQt(globalStrut).toSize());
}
- (int)keyboardInputInterval
{
return toQt(self)->keyboardInputInterval();
|