# Launcher seems to be ignored in the preferences

**URL:** https://discourse.processing.org/t/launcher-seems-to-be-ignored-in-the-preferences/10840
**Category:** Processing
**Created:** [May 2, 2019, 11:28am UTC](https://discourse.processing.org/t/launcher-seems-to-be-ignored-in-the-preferences/10840 "2019-05-02T11:28:20Z")
**Posts on this page:** 1
**Showing post:** 7

<div class="post-metadata">

### Author: ![hamoid](https://yyz2.discourse-cdn.com/flex036/user_avatar/discourse.processing.org/hamoid/32/58_2.png) [@hamoid](https://discourse.processing.org/u/hamoid)
#### Post date: [May 3, 2019, 4:05pm UTC](https://discourse.processing.org/t/launcher-seems-to-be-ignored-in-the-preferences/10840/7 "2019-05-03T16:05:13Z")

</div>

I see the problem at

> <https://github.com/processing/processing/commit/5ab60c84ac61b9c8c5ac0f1c81d0420d75918c2e#diff-3617718d2e0975d588a3a0f87bcceaa6>

Before

```
Preferences.get("launcher");

```

had priority if it was set. Now it does

```
if(Desktop.isDesktopSupported()) { super.openFolder(file); }

```

which triggers

```
 Desktop.getDesktop().open(file);

```

in `DefaultPlatform` (ignoring the preferences). Thanks for the help! Knowing what’s the issue is good enough for me 🙂

---

_[View the full topic](https://discourse.processing.org/t/launcher-seems-to-be-ignored-in-the-preferences/10840)._