diff options
| author | Robert Tari <robert@tari.in> | 2023-05-05 05:19:44 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2023-05-07 20:52:12 +0200 |
| commit | 0718f264357a13b1a55cadcb7eb6a5774b7dd7eb (patch) | |
| tree | 9c44342564d431dfaf24cd8f61d5d63c44171eed /src/user-list.vala | |
| parent | c9b2de2b43d1575a85b5d0344c4a0bd1eb9f93fa (diff) | |
| download | arctica-greeter-0718f264357a13b1a55cadcb7eb6a5774b7dd7eb.tar.gz arctica-greeter-0718f264357a13b1a55cadcb7eb6a5774b7dd7eb.tar.bz2 arctica-greeter-0718f264357a13b1a55cadcb7eb6a5774b7dd7eb.zip | |
Fix casting issues
Diffstat (limited to 'src/user-list.vala')
| -rw-r--r-- | src/user-list.vala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/user-list.vala b/src/user-list.vala index 9affbb9..e410b19 100644 --- a/src/user-list.vala +++ b/src/user-list.vala @@ -639,7 +639,7 @@ public class UserList : GreeterList if (agsettings.high_contrast || !AGSettings.get_boolean (AGSettings.KEY_DRAW_USER_BACKGROUNDS)) new_background_file = null; else if (selected_entry is UserPromptBox) - new_background_file = (selected_entry as UserPromptBox).background; + new_background_file = ((UserPromptBox) selected_entry).background; background.current_background = new_background_file; @@ -687,7 +687,7 @@ public class UserList : GreeterList var greeter = new ArcticaGreeter (); greeter.set_state ("last-user", username); if (selected_entry is UserPromptBox) - session = (selected_entry as UserPromptBox).session; + session = ((UserPromptBox) selected_entry).session; else session = null; selected_entry.clear (); |