2018-02-11 19:46:18 +00:00
|
|
|
--[[--
|
|
|
|
This widget displays an open with dialog.
|
|
|
|
]]
|
|
|
|
|
|
|
|
local Blitbuffer = require("ffi/blitbuffer")
|
|
|
|
local CenterContainer = require("ui/widget/container/centercontainer")
|
|
|
|
local CheckButton = require("ui/widget/checkbutton")
|
2018-07-15 20:48:19 +00:00
|
|
|
local Font = require("ui/font")
|
2018-02-11 19:46:18 +00:00
|
|
|
local FrameContainer = require("ui/widget/container/framecontainer")
|
|
|
|
local Geom = require("ui/geometry")
|
|
|
|
local InputDialog = require("ui/widget/inputdialog")
|
|
|
|
local LeftContainer = require("ui/widget/container/leftcontainer")
|
|
|
|
local LineWidget = require("ui/widget/linewidget")
|
|
|
|
local RadioButtonTable = require("ui/widget/radiobuttontable")
|
|
|
|
local Size = require("ui/size")
|
2020-08-29 16:25:38 +00:00
|
|
|
local TextBoxWidget = require("ui/widget/textboxwidget")
|
2018-07-15 20:48:19 +00:00
|
|
|
local UIManager = require("ui/uimanager")
|
2018-02-11 19:46:18 +00:00
|
|
|
local VerticalGroup = require("ui/widget/verticalgroup")
|
|
|
|
local VerticalSpan = require("ui/widget/verticalspan")
|
|
|
|
local _ = require("gettext")
|
|
|
|
local Screen = require("device").screen
|
|
|
|
|
|
|
|
local OpenWithDialog = InputDialog:extend{}
|
|
|
|
|
|
|
|
function OpenWithDialog:init()
|
|
|
|
-- init title and buttons in base class
|
|
|
|
InputDialog.init(self)
|
2020-08-29 16:25:38 +00:00
|
|
|
|
|
|
|
-- replace single line title with a multiline one,
|
|
|
|
-- as the filename might be long
|
|
|
|
self.title_widget:free()
|
|
|
|
self.title_widget = FrameContainer:new{
|
|
|
|
padding = self.title_padding,
|
|
|
|
margin = self.title_margin,
|
|
|
|
bordersize = 0,
|
|
|
|
TextBoxWidget:new{
|
|
|
|
text = self.title,
|
|
|
|
width = self.width - 2*self.title_padding - 2*self.title_margin,
|
|
|
|
face = self.title_face,
|
|
|
|
},
|
|
|
|
}
|
|
|
|
|
2018-07-15 20:48:19 +00:00
|
|
|
self.face = Font:getFace("cfont", 22)
|
2018-02-11 19:46:18 +00:00
|
|
|
|
|
|
|
self.radio_button_table = RadioButtonTable:new{
|
|
|
|
radio_buttons = self.radio_buttons,
|
2020-06-12 23:56:36 +00:00
|
|
|
width = math.floor(self.width * 0.9),
|
2018-02-11 19:46:18 +00:00
|
|
|
focused = true,
|
|
|
|
scroll = false,
|
|
|
|
parent = self,
|
2018-07-15 20:48:19 +00:00
|
|
|
face = self.face,
|
2020-08-29 16:25:38 +00:00
|
|
|
button_select_callback = function(btn)
|
|
|
|
if btn.provider.one_time_provider then
|
|
|
|
self._check_file_button:disable()
|
|
|
|
self._check_global_button:disable()
|
|
|
|
else
|
|
|
|
self._check_file_button:enable()
|
|
|
|
self._check_global_button:enable()
|
|
|
|
end
|
|
|
|
end
|
2018-02-11 19:46:18 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
self._check_file_button = self._check_file_button or CheckButton:new{
|
|
|
|
text = _("Always use this engine for this file"),
|
|
|
|
callback = function()
|
|
|
|
if self._check_file_button.checked then
|
|
|
|
self._check_file_button:unCheck()
|
|
|
|
else
|
|
|
|
self._check_file_button:check()
|
|
|
|
end
|
|
|
|
end,
|
|
|
|
|
2020-06-12 23:56:36 +00:00
|
|
|
width = math.floor(self.width * 0.9),
|
|
|
|
max_width = math.floor(self.width * 0.9 - 2 * Size.border.window),
|
2018-02-11 19:46:18 +00:00
|
|
|
height = self.height,
|
2018-07-15 20:48:19 +00:00
|
|
|
face = self.face,
|
2018-02-11 19:46:18 +00:00
|
|
|
|
|
|
|
parent = self,
|
|
|
|
}
|
|
|
|
self._always_file_toggle = LeftContainer:new{
|
|
|
|
bordersize = 0,
|
|
|
|
dimen = Geom:new{
|
2020-06-12 23:56:36 +00:00
|
|
|
w = math.floor(self.width * 0.9),
|
2018-02-11 19:46:18 +00:00
|
|
|
h = self._check_file_button:getSize().h,
|
|
|
|
},
|
|
|
|
self._check_file_button,
|
|
|
|
}
|
|
|
|
|
|
|
|
self._check_global_button = self._check_global_button or CheckButton:new{
|
|
|
|
text = _("Always use this engine for file type"),
|
|
|
|
callback = function()
|
|
|
|
if self._check_global_button.checked then
|
|
|
|
self._check_global_button:unCheck()
|
|
|
|
else
|
|
|
|
self._check_global_button:check()
|
|
|
|
end
|
|
|
|
end,
|
|
|
|
|
2020-06-12 23:56:36 +00:00
|
|
|
width = math.floor(self.width * 0.9),
|
|
|
|
max_width = math.floor(self.width * 0.9 - 2 * Size.border.window),
|
2018-02-11 19:46:18 +00:00
|
|
|
height = self.height,
|
2018-07-15 20:48:19 +00:00
|
|
|
face = self.face,
|
2018-02-11 19:46:18 +00:00
|
|
|
|
|
|
|
parent = self,
|
|
|
|
}
|
|
|
|
self._always_global_toggle = LeftContainer:new{
|
|
|
|
bordersize = 0,
|
|
|
|
dimen = Geom:new{
|
2020-06-12 23:56:36 +00:00
|
|
|
w = math.floor(self.width * 0.9),
|
2018-02-11 19:46:18 +00:00
|
|
|
h = self._check_global_button:getSize().h,
|
|
|
|
},
|
|
|
|
self._check_global_button,
|
|
|
|
}
|
|
|
|
|
|
|
|
self.dialog_frame = FrameContainer:new{
|
|
|
|
radius = Size.radius.window,
|
2018-07-15 20:48:19 +00:00
|
|
|
bordersize = Size.border.window,
|
2018-02-11 19:46:18 +00:00
|
|
|
padding = 0,
|
|
|
|
margin = 0,
|
|
|
|
background = Blitbuffer.COLOR_WHITE,
|
|
|
|
VerticalGroup:new{
|
|
|
|
align = "left",
|
2018-08-06 19:16:30 +00:00
|
|
|
self.title_widget,
|
2018-02-11 19:46:18 +00:00
|
|
|
self.title_bar,
|
|
|
|
VerticalSpan:new{
|
|
|
|
width = Size.span.vertical_large*2,
|
|
|
|
},
|
|
|
|
CenterContainer:new{
|
|
|
|
dimen = Geom:new{
|
|
|
|
w = self.title_bar:getSize().w,
|
|
|
|
h = self.radio_button_table:getSize().h,
|
|
|
|
},
|
|
|
|
self.radio_button_table,
|
|
|
|
},
|
|
|
|
CenterContainer:new{
|
|
|
|
dimen = Geom:new{
|
|
|
|
w = self.title_bar:getSize().w,
|
|
|
|
h = Size.span.vertical_large*2,
|
|
|
|
},
|
|
|
|
LineWidget:new{
|
2019-03-14 19:58:45 +00:00
|
|
|
background = Blitbuffer.COLOR_DARK_GRAY,
|
2018-02-11 19:46:18 +00:00
|
|
|
dimen = Geom:new{
|
2020-06-12 23:56:36 +00:00
|
|
|
w = math.floor(self.width * 0.9),
|
2018-02-11 19:46:18 +00:00
|
|
|
h = Size.line.medium,
|
|
|
|
}
|
|
|
|
},
|
|
|
|
},
|
|
|
|
CenterContainer:new{
|
|
|
|
dimen = Geom:new{
|
|
|
|
w = self.title_bar:getSize().w,
|
|
|
|
h = self._always_file_toggle:getSize().h,
|
|
|
|
},
|
|
|
|
self._always_file_toggle,
|
|
|
|
},
|
|
|
|
CenterContainer:new{
|
|
|
|
dimen = Geom:new{
|
|
|
|
w = self.title_bar:getSize().w,
|
|
|
|
h = self._always_global_toggle:getSize().h,
|
|
|
|
},
|
|
|
|
self._always_global_toggle,
|
|
|
|
},
|
|
|
|
VerticalSpan:new{
|
|
|
|
width = Size.span.vertical_large*2,
|
|
|
|
},
|
|
|
|
-- buttons
|
|
|
|
CenterContainer:new{
|
|
|
|
dimen = Geom:new{
|
|
|
|
w = self.title_bar:getSize().w,
|
|
|
|
h = self.button_table:getSize().h,
|
|
|
|
},
|
|
|
|
self.button_table,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
self._input_widget = self.radio_button_table
|
|
|
|
|
|
|
|
self[1] = CenterContainer:new{
|
|
|
|
dimen = Geom:new{
|
|
|
|
w = Screen:getWidth(),
|
|
|
|
h = Screen:getHeight(),
|
|
|
|
},
|
|
|
|
self.dialog_frame,
|
|
|
|
}
|
|
|
|
end
|
|
|
|
|
|
|
|
function OpenWithDialog:onCloseWidget()
|
2018-07-15 20:48:19 +00:00
|
|
|
UIManager:setDirty(nil, function()
|
Tame some ButtonTable users into re-using Buttontable instances if possible (#7166)
* QuickDictLookup, ImageViewer, NumberPicker: Smarter `update` that will re-use most of the widget's layout instead of re-instantiating all the things.
* SpinWidget/DoubleSpinWidget: The NumberPicker change above renders a hack to preserve alpha on these widgets almost unnecessary. Also fixed said hack to also apply to the center, value button.
* Button: Don't re-instantiate the frame in setText/setIcon when unnecessary (e.g., no change at all, or no layout change).
* Button: Add a refresh method that repaints and refreshes a *specific* Button (provided it's been painted once) all on its lonesome.
* ConfigDialog: Free everything that's going to be re-instatiated on update
* A few more post #7118 fixes:
* SkimTo: Always flag the chapter nav buttons as vsync
* Button: Fix the highlight on rounded buttons when vsync is enabled (e.g., it's now entirely visible, instead of showing a weird inverted corner glitch).
* Some more heuristic tweaks in Menu/TouchMenu/Button/IconButton
* ButtonTable: fix the annoying rounding issue I'd noticed in #7054 ;).
* Enable dithering in TextBoxWidget (e.g., in the Wikipedia full view). This involved moving the HW dithering align fixup to base, where it always ought to have been ;).
* Switch a few widgets that were using "partial" on close to "ui", or, more rarely, "flashui". The intent being to limit "partial" purely to the Reader, because it has a latency cost when mixed with other refreshes, which happens often enough in UI ;).
* Minor documentation tweaks around UIManager's `setDirty` to reflect that change.
* ReaderFooter: Force a footer repaint on resume if it is visible (otherwise, just update it).
* ReaderBookmark: In the same vein, don't repaint an invisible footer on bookmark count changes.
2021-01-28 23:20:15 +00:00
|
|
|
return "ui", self.dialog_frame.dimen
|
2018-07-15 20:48:19 +00:00
|
|
|
end)
|
2018-02-11 19:46:18 +00:00
|
|
|
return true
|
|
|
|
end
|
|
|
|
|
|
|
|
return OpenWithDialog
|