投稿

ラベル(Geany)が付いた投稿を表示しています

ブログの説明

学校に通わないで学んだことを記しています。間違っているところが何かありましたらご指摘下さると幸いです。コメントに対する返信が遅れる可能性があります。その場合は申し訳ございません。

このブログでは広告を表示しています。このブログ内の投稿記事を検索するには右上の拡大鏡のアイコンを、アーカイブやラベル付けから投稿記事を閲覧するには左上の三重線のアイコンをクリックして下さい。

数式の表示にはMathJaxを利用させていただいています。数式の表示のためにJavaScriptが有効である必要があります。そうでない場合、訳の分からないLaTeXのコードが表示されます。幾何学図形やチャートの表示にはHTML5 CanvasやGoogle Chartを使用しています。その表示のためにもJavaScriptが有効である必要があります。

Geany 2.0でAdaプログラミング中にクラッシュする症状

Debian GNU/Linux 13 (Trixie)にインストールしたソースコード・エディタGeany 2.0を使ってプログラミング言語Adaのコードを入力していたら、特定のステートメントを入力するたびにそのGeanyが強制終了する症状に遭遇した。特定のコードというのはAdaではお決まりの次のステートメント。 procedure Main is トップメニューから「設定」->「インターフェース」->「インターフェース」タブで「サイドバーを表示」や「シンボルリストを表示」のチェックを外してもこの症状は解消しなかった。 トップメニューから「ツール」->「設定ファイル」->「ファイル種類の設定」->「プログラミング言語」のfiletypes.adaを開いてみた。設定のすべての項目はコメントアウトされていた。 procedureMainis でも procedure Mainis でも procedureMain is でもクラッシュしない。 procedure Main is と入力された時点でその瞬間に必ずクラッシュした。タグ・パーサー(タグ解析機)の不具合が強く疑われた。 けっきょくfiletypes.adaの[settings]に次のように記述してタグ・パーサーの働きを無効にすることでしか解決できなかった。 [settings] # procedure ... is というコードを入力するとgeanyが落ちる問題を回避 tag_parser= ちなみに、Debian GNU/Linux 13 (Trixie)ではfiletypes.adaファイルはホーム・ディレクトリ内の.config/geany/filedefsディレクトリ内に保存される。

テキストエディタ、GeanyとjEditのエディタの行間の大きさを設定

使っているテキスト・エディタ、GeanyとjEditの行間が狭すぎて見にくいので変更してみた。フォントやフォントの大きさの設定と比べて分かりにくかったのでブログに記しておく。 GeanyとjEditのバージョンを確認。 ソフトウェアのバージョン $ geany -V geany 2.0 $ jedit -version jEdit 5.5.0 まずはGeanyでの手順。 Geanyを起動。 $ geany & メニュー・バー(トップ・メニュー)の「ツール」-「設定ファイル」-「filetypes.common」 [styling]と共に「line_height=上の行間の値;下の行間の値;」という書式で次のようなコードを追加する。ただし「」は無視。 [styling] line_height=3;3; メニュー・バー(トップ・メニュー)の「ファイル」-「保存」か[Ctrl]+sで上書き保存。 次にjEditでの手順。 jEditを起動。 $ jedit & メニュー・バー(トップ・メニュー)の「ユーティリティ」-「グローバル オプション」 「Global Options」タブの「jEdit」ディレクトリの「テキスト エリア」を選ぶ。 「追加の水平行間隔(ピクセル単位)にピクセル単位で数値(6あたりが丁度いいと思った)を入力して「OK」ボタンか「適用」ボタンを押す。