flathub / com.inform7.ide Goto Github PK
View Code? Open in Web Editor NEWHome Page: https://flathub.org/apps/details/com.inform7.IDE
Home Page: https://flathub.org/apps/details/com.inform7.IDE
It seems that changing any configuration setting in GNOME Inform is impossible, as dconf is not available using default settings, e.g.:
(gnome-inform7:2): dconf-WARNING **: 19:17:11.367: failed to commit changes to dconf: GDBus.Error:org.freedesktop.DBus.Error.ServiceUnknown: org.freedesktop.DBus.Error.ServiceUnknown
It seems that enabling dconf requires adding extra run parameters, as per: https://docs.flatpak.org/en/latest/sandbox-permissions.html#dconf-access. There's an additional example here: https://github.com/flathub/org.gnome.iagno/blob/3c77a388f309ce0df25f12d23463a95edd3279c5/org.gnome.iagno.json#L18-L20
Tested on flatpak 1.10.0
and xdg-desktop-portal 1.8.0
.
Although I haven't checked its dependencies, the latest upstream code releases appear to be no longer proprietary. Perhaps the "Proprietary" license marker can be removed from the package?
The version on Flathub is marked as being 7 years old, but maybe Flahtub could base off of the the Flatpak built by them less than a year ago (haven't found the Flatpak build file yet):
Thanks for the recent update! It's making editing a lot easier for me.
I didn't report this problem before because I wanted to see if it would go away when you updated, but alas it has not. Using Flatseal, I can change the theme that other Flatpak apps open in, but it doesn't work for Inform7. I usually use a dark theme for my everyday computering, but something about the dark theme in Inform just makes it hard for me to focus, so I'd like to change it so Inform opens in a light theme.
Not sure why this weird, idiosyncratic issue is happening. Flatseal can change Inform's other permissions (that I've tried), and Inform respects my system theme, but I can't use Flatseal to change the theme it opens in? I don't get it.
I tried to reinstall Inform7, but keep getting the following error:
$ sudo flatpak install inform7 --reinstall
Looking for matches…
Found similar ref(s) for ‘inform7’ in remote ‘flathub’ (system).
Use this remote? [Y/n]: y
Found ref ‘app/com.inform7.IDE/x86_64/stable’ in remote ‘flathub’ (system).
Use this ref? [Y/n]: y
com.inform7.IDE permissions:
ipc pulseaudio x11 file access [1]
[1] xdg-documents, ~/Inform:create
ID Branch Op Remote Download
1. [✗] com.inform7.IDE stable i flathub 1,0 kB / 26,2 MB
Error: While trying to checkout ac7bc58ac99dc6a352eae30ce43fb81413f3fc3818a5b671e59de4cc9b2e2d48 into /var/lib/flatpak/app/com.inform7.IDE/x86_64/stable/.ac7bc58ac99dc6a352eae30ce43fb81413f3fc3818a5b671e59de4cc9b2e2d48-ZZBTF1: Opening content object 63c94c0512053315655f18f4ea8ffdd58191f4743f6beb8734f759706a0cf930: Couldn't find file object '63c94c0512053315655f18f4ea8ffdd58191f4743f6beb8734f759706a0cf930'
error: Failed to install com.inform7.IDE: While trying to checkout ac7bc58ac99dc6a352eae30ce43fb81413f3fc3818a5b671e59de4cc9b2e2d48 into /var/lib/flatpak/app/com.inform7.IDE/x86_64/stable/.ac7bc58ac99dc6a352eae30ce43fb81413f3fc3818a5b671e59de4cc9b2e2d48-ZZBTF1: Opening content object 63c94c0512053315655f18f4ea8ffdd58191f4743f6beb8734f759706a0cf930: Couldn't find file object '63c94c0512053315655f18f4ea8ffdd58191f4743f6beb8734f759706a0cf930'
Any ideas on how to reinstall it?
Thank you
hi, i am running a pinebook pro mit manjaro. the perfekt gnome-inform7 device. and thanks for your flatpak offering.
the "ni"compiler is armv6lhf or armv7lhf, but it your arch is aarch86-only it does not run. I asked graham nelson, if "we" could be of any help to compile the inform blobs to aarch64. I will keep you posted, if I should get an answer.
Poor vision and a large resolution don't mix, so I have large text turned on on my computer under Ubuntu's Universal Access menu. But Inform's documentation tab completely ignores this, forcing the same (relatively small) font size no matter how high I set my scaling factor.
Maybe freedesktop runtime 18.08 works too.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.