dev comparison
This commit is contained in:
parent
14531bc829
commit
53bba1daba
3 changed files with 90 additions and 42 deletions
|
@ -600,12 +600,13 @@ class SettingsWindow(Gtk.Window):
|
|||
while True:
|
||||
if len(fn.fetched_kernels_dict) > 0:
|
||||
self.manager_gui.official_kernels = self.queue_kernels.get()
|
||||
|
||||
self.queue_kernels.task_done()
|
||||
self.refreshed = True
|
||||
if self.manager_gui.official_kernels is not None:
|
||||
switch.set_sensitive(False)
|
||||
|
||||
self.update_official_list()
|
||||
self.update_community_list()
|
||||
self.update_timestamp()
|
||||
self.label_cache_update_status.set_markup(
|
||||
"<b>Cache refresh completed</b>"
|
||||
|
@ -667,14 +668,6 @@ class SettingsWindow(Gtk.Window):
|
|||
True,
|
||||
)
|
||||
|
||||
def update_community_list(self):
|
||||
self.manager_gui.installed_kernels = fn.get_installed_kernels()
|
||||
|
||||
GLib.idle_add(
|
||||
self.manager_gui.kernel_stack.add_community_kernels_to_stack,
|
||||
True,
|
||||
)
|
||||
|
||||
def on_close_clicked(self, widget):
|
||||
self.destroy()
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue